キャハハハハハハハ！！！！
さ〜て、今回はいきなり問題からはいるるよ。　下の証明文を見るであ〜る。



（　１の文　）

Ａ　＝　１２８　　で、さらに、　Ｂ　＝　１２８　ならば、　Ａ　＝　Ｂ　であ〜るるる。

１の文は正しいのはわかるるね。じゃ、下のはどう？


（　２の文　）

イヌ　＝　動物　　で、さらに、　サル　＝　動物　ならば、　イヌ　＝　サル　であ〜るるるる！！

これは変るるね。　でも、どうして変なのかな？　１の文と２の文では、ほとんど違うところがないるるるるる。
まったくおんなじ形式の証明なのに、なぜ　１の文は正しくて、２の文は間違っているのか説明できるるる？

あんまり専門的な言葉を使わなくても、言いたいことが伝われば正解にするであ〜るるる。