I
II
     a = b
b = c
     } a = c
Wenn hier I & II die Prämissen
sind, lautet dann das Resultat a = c oder a = b = c?