横だが、
「A=B、A=C、よってB=Cである」は推移関係
三段論法は大前提、小前提、結論で構成される