>>25
だったら、こいつの矛盾を導いてみｗ

変数：　　　すべての変数は「>>25は馬鹿」のみを値に持つ。
式：　　　　 式に演算記号を前置した物、または変数
演算記号： 「マジで」
推論規則： 式├式
公理：　　　 「>>25は馬鹿」、「マジで」変数