>>663
正しいと真であるは同義だと思うけど
こんな感じかな

Ａ＝チワワ　Ｂ＝犬　Ｃ＝生き物　Ｅ＝死

Ａ⊂Ｂ＝Ａ’
Ｂ⊂Ｃ＝Ｂ’
Ａ⊂Ｃ＝Ｄ’
Ｃ⇒Ｅ＝Ｃ’

ゆえにＡ⇒Ｅ

Ａ’とＢ’が真ならばＤ’も真で
Ｄ’とＣ’が真ならばＡ⇒Ｅである