「あの協議会は締めっぽい」ということは本当だ
fact1: もしも「「あるものは憎しか樹立する」ということは成り立つ」ということは偽ならば根深くない fact2: 「この雷門前は負担でないかもしくはそれは木棺だ」ということは間違いである fact3: もし仮になにがしかの物が根深いということはないならそれは電脳戦でなくてまたそれは参照し為さらない fact4: もし「この雷門前は負担であるということはないかまたは木棺であるかまたは両方ともである」ということは誤っているなら電脳戦でない fact5: 仮に「この雑損控除は来難くないかもしくは見え辛くないかあるいは両方ともである」ということは偽であるとすればこの雷門前は来難くない fact6: もしもこの雷門前が電脳戦でないとしたらあの協議会は締めっぽい fact7: この雷門前は負担である fact8: もしもある物は来難くないとすると「それは憎しかもしくは樹立するかどちらもだ」ということは成り立つということはない fact9: もし仮にこの雷門前が電脳戦であるということはないし参照し為さらないならばあの協議会は締めっぽくない
fact4 & fact2 -> int1: この雷門前は電脳戦でない; int1 & fact6 -> hypothesis;
fact4 & fact2 -> int1: ¬{B}{a}; int1 & fact6 -> hypothesis;
あの協議会は締めっぽくない
fact14 -> int2: もしこの雷門前が根深くないならそれは電脳戦でないし参照し為さるということはない; fact10 -> int3: もし「この雷門前は憎しかもしくは樹立する」ということは誤りだとすればそれは根深くない; fact13 -> int4: もしもこの雷門前は来難くないとしたら「それは憎しかもしくは樹立するかもしくは両方である」ということは事実と異なる;
$facts$ = fact1: もしも「「あるものは憎しか樹立する」ということは成り立つ」ということは偽ならば根深くない fact2: 「この雷門前は負担でないかもしくはそれは木棺だ」ということは間違いである fact3: もし仮になにがしかの物が根深いということはないならそれは電脳戦でなくてまたそれは参照し為さらない fact4: もし「この雷門前は負担であるということはないかまたは木棺であるかまたは両方ともである」ということは誤っているなら電脳戦でない fact5: 仮に「この雑損控除は来難くないかもしくは見え辛くないかあるいは両方ともである」ということは偽であるとすればこの雷門前は来難くない fact6: もしもこの雷門前が電脳戦でないとしたらあの協議会は締めっぽい fact7: この雷門前は負担である fact8: もしもある物は来難くないとすると「それは憎しかもしくは樹立するかどちらもだ」ということは成り立つということはない fact9: もし仮にこの雷門前が電脳戦であるということはないし参照し為さらないならばあの協議会は締めっぽくない ; $hypothesis$ = 「あの協議会は締めっぽい」ということは本当だ ; $proof$ = 
fact4 & fact2 -> int1: この雷門前は電脳戦でない; int1 & fact6 -> hypothesis; __PROVED__
事実1: もしも「「あるものは憎しか樹立する」ということは成り立つ」ということは偽ならば根深くない
事実2: 「この雷門前は負担でないかもしくはそれは木棺だ」ということは間違いである
事実3: もし仮になにがしかの物が根深いということはないならそれは電脳戦でなくてまたそれは参照し為さらない
事実4: もし「この雷門前は負担であるということはないかまたは木棺であるかまたは両方ともである」ということは誤っているなら電脳戦でない
事実5: 仮に「この雑損控除は来難くないかもしくは見え辛くないかあるいは両方ともである」ということは偽であるとすればこの雷門前は来難くない
事実6: もしもこの雷門前が電脳戦でないとしたらあの協議会は締めっぽい
事実7: この雷門前は負担である
事実8: もしもある物は来難くないとすると「それは憎しかもしくは樹立するかどちらもだ」ということは成り立つということはない
事実9: もし仮にこの雷門前が電脳戦であるということはないし参照し為さらないならばあの協議会は締めっぽくない

仮説: 「あの協議会は締めっぽい」ということは本当だ
1. 事実4と事実2から、推論1: "この雷門前は電脳戦でない"が導かれる
2. 推論1と事実6から、仮説が導かれる

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