>>534
A ならばB, B ならば C ゆえに A ならば C
という当たり前のロジックを実現できないものか