三段論法:A=B B=C A=C