あの一望が腹立たしいということはないとするとその菜箸は解禁しない
fact1: この反対尋問は解禁する fact2: あの一望は解禁するかまたは腹立たしい fact3: 「解体新書であるかもしくは髪ジであるか両方である」物はある fact4: 「「解禁する」ということは本当な」ものはある fact5: 可笑しない物は腹立たしいししかも解禁する fact6: その菜箸は可笑し fact7: もしも「何かは解禁するかまたは可笑し」ということは本当であるとしたらあの一望は腹立たしい
void -> assump1: 以下のように仮定する。その菜箸は解禁する; assump1 -> int1: その菜箸は解禁するかまたは可笑しかもしくは両方ともである; int1 -> int2: ある物は解禁するかまたはそれは可笑し; int2 & fact7 -> int3: あの一望は腹立たしい; void -> assump2: 以下のように仮定する。あの一望は腹立たしいということはない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その菜箸は解禁するということはない; [assump2] & int5 -> hypothesis;
あの書跡は腹立たしい
fact8 -> int6: 仮にあの書跡が可笑しないならばそれは腹立たしくてまたそれは解禁する;
$facts$ = fact1: この反対尋問は解禁する fact2: あの一望は解禁するかまたは腹立たしい fact3: 「解体新書であるかもしくは髪ジであるか両方である」物はある fact4: 「「解禁する」ということは本当な」ものはある fact5: 可笑しない物は腹立たしいししかも解禁する fact6: その菜箸は可笑し fact7: もしも「何かは解禁するかまたは可笑し」ということは本当であるとしたらあの一望は腹立たしい ; $hypothesis$ = あの一望が腹立たしいということはないとするとその菜箸は解禁しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その菜箸は解禁する; assump1 -> int1: その菜箸は解禁するかまたは可笑しかもしくは両方ともである; int1 -> int2: ある物は解禁するかまたはそれは可笑し; int2 & fact7 -> int3: あの一望は腹立たしい; void -> assump2: 以下のように仮定する。あの一望は腹立たしいということはない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その菜箸は解禁するということはない; [assump2] & int5 -> hypothesis; __PROVED__
事実1: この反対尋問は解禁する
事実2: あの一望は解禁するかまたは腹立たしい
事実3: 「解体新書であるかもしくは髪ジであるか両方である」物はある
事実4: 「「解禁する」ということは本当な」ものはある
事実5: 可笑しない物は腹立たしいししかも解禁する
事実6: その菜箸は可笑し
事実7: もしも「何かは解禁するかまたは可笑し」ということは本当であるとしたらあの一望は腹立たしい

仮説: あの一望が腹立たしいということはないとするとその菜箸は解禁しない
1. 仮定1: 以下のように仮定する。その菜箸は解禁する
2. 仮定1から、推論1: "その菜箸は解禁するかまたは可笑しかもしくは両方ともである"が導かれる
3. 推論1から、推論2: "ある物は解禁するかまたはそれは可笑し"が導かれる
4. 推論2と事実7から、推論3: "あの一望は腹立たしい"が導かれる
5. 仮定2: 以下のように仮定する。あの一望は腹立たしいということはない
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "その菜箸は解禁するということはない"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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