>  2006/01/19 (木) 03:09:25        [qwerty]
> > ラッセル先生は雪かきで大忙し
> クワティにカバがいないって証明できんのかよ?ああ?

クワティにカバがいたとする
定義よりクワティはその本性上カバを含まない
よってクワティにはカバがいない
証明終わり

参考:2006/01/19(木)03時07分18秒