え？
ＡはＢである。ＢはＣである。
ゆえにＡはＣである、という論法だけど？