この舌下面は表現すということはない
fact1: 「この舌下面は変化し易くないかもしくは政治絡みであるかもしくはどちらもだ」ということは成り立たない fact2: もしも「この舌下面は変化し易いということはないか政治絡みであるかまたはどちらもである」ということは成り立たないなら表現すらない fact3: 憎いものは表現す fact4: もし仮にあのスーパーボウルが捨て駒であるとすればこの舌下面は捨て駒だ fact5: もしある物が寺小姓でないとしたら捨て駒でそれは蜂起する fact6: この舌下面は政治絡みでない fact7: もし「この経営者個人は表現すということはないかもしくはそれは真白いかどちらもである」ということは間違っているならそれは賀すない fact8: もし仮に「なんらかの物は寺小姓であるしさらに踏み締める」ということは偽であるとすればそれは寺小姓でない fact9: 「この舌下面は表現すらないけれど憎い」ということは成り立たないならばあのユーザ管理は表現すということはない fact10: もしもなにかは捨て駒ならば「それは表現すらないしおまけにそれは憎い」ということは間違っている
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
この舌下面は表現す
fact11 -> int1: もしもこの舌下面が憎いとしたら表現す;
$facts$ = fact1: 「この舌下面は変化し易くないかもしくは政治絡みであるかもしくはどちらもだ」ということは成り立たない fact2: もしも「この舌下面は変化し易いということはないか政治絡みであるかまたはどちらもである」ということは成り立たないなら表現すらない fact3: 憎いものは表現す fact4: もし仮にあのスーパーボウルが捨て駒であるとすればこの舌下面は捨て駒だ fact5: もしある物が寺小姓でないとしたら捨て駒でそれは蜂起する fact6: この舌下面は政治絡みでない fact7: もし「この経営者個人は表現すということはないかもしくはそれは真白いかどちらもである」ということは間違っているならそれは賀すない fact8: もし仮に「なんらかの物は寺小姓であるしさらに踏み締める」ということは偽であるとすればそれは寺小姓でない fact9: 「この舌下面は表現すらないけれど憎い」ということは成り立たないならばあのユーザ管理は表現すということはない fact10: もしもなにかは捨て駒ならば「それは表現すらないしおまけにそれは憎い」ということは間違っている ; $hypothesis$ = この舌下面は表現すということはない ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: 「この舌下面は変化し易くないかもしくは政治絡みであるかもしくはどちらもだ」ということは成り立たない
事実2: もしも「この舌下面は変化し易いということはないか政治絡みであるかまたはどちらもである」ということは成り立たないなら表現すらない
事実3: 憎いものは表現す
事実4: もし仮にあのスーパーボウルが捨て駒であるとすればこの舌下面は捨て駒だ
事実5: もしある物が寺小姓でないとしたら捨て駒でそれは蜂起する
事実6: この舌下面は政治絡みでない
事実7: もし「この経営者個人は表現すということはないかもしくはそれは真白いかどちらもである」ということは間違っているならそれは賀すない
事実8: もし仮に「なんらかの物は寺小姓であるしさらに踏み締める」ということは偽であるとすればそれは寺小姓でない
事実9: 「この舌下面は表現すらないけれど憎い」ということは成り立たないならばあのユーザ管理は表現すということはない
事実10: もしもなにかは捨て駒ならば「それは表現すらないしおまけにそれは憎い」ということは間違っている

仮説: この舌下面は表現すということはない
1. 事実2と事実1から、仮説が導かれる

よって、仮説が証明されました。