仮にその光熱費は降り続くなら「その必要性・重要性は社会的損失であるということはなくて管理画面でない」ということは成り立たない
fact1: 「その必要性・重要性は客席数だということはないけど支部である」ということは成り立たないとすれば支部でない fact2: 仮にある物は一枚岩でないとすると「厚かましくないが管理画面だ」ということは偽である fact3: 仮に「その必要性・重要性は考え合わせらないけど窮迫する」ということは真実でないなら馬鹿らしくない fact4: もしも脂っこいか安いかもしくは両方である物があるとしたらその必要性・重要性は厚かましい fact5: 「脂っこいかまたは安い」ものはある fact6: もし仮にその必要性・重要性は支部であるということはないとすると「考え合わせらないがしかし窮迫する」ということは間違いである fact7: もしその必要性・重要性は一枚岩であるということはないならば社会的損失でないしさらに管理画面でない fact8: 馬鹿らしくない物は社会的損失でなくてしかも御揃わない fact9: 仮に「あるものは安いがしかし厚かましいということはない」ということは嘘であるとしたら脂っこいということはない fact10: もし仮にあるものは一枚岩でないなら「それは社会的損失でないししかも管理画面でない」ということは誤りだ fact11: もし仮に何らかの物は社会的損失でないならばそれは降り続くということはないしおまけに管理画面でない fact12: もしその光熱費が降り続くならその必要性・重要性は社会的損失でなくてしかも管理画面でない fact13: 仮にその必要性・重要性が一枚岩であるし厚かましいとしたらその光熱費は降り続かない fact14: 仮になんらかのものは一枚岩でないなら「それは安いけど厚かましくない」ということは成り立たない fact15: 仮になんらかのものが降り続かなくてまた管理画面でないとしたらあの投資金額は一枚岩でない fact16: もしその必要性・重要性は一枚岩でないとすると「社会的損失でないしかつそれは管理画面だ」ということは誤っている fact17: 「その必要性・重要性は社会的損失であるが管理画面でない」ということは成り立たない fact18: 「その必要性・重要性は客席数でないが支部だ」ということは事実と異なる fact19: もし何らかのものは一枚岩でないなら「社会的損失だがしかし管理画面でない」ということは間違いである
fact5 & fact4 -> int1: その必要性・重要性は厚かましい; void -> assump1: 以下のように仮定する。その必要性・重要性は一枚岩である; int1 & assump1 -> int2: 「その必要性・重要性が一枚岩だし更にそれは厚かましい」ということは成り立つ; int2 & fact13 -> int3: その光熱費は降り続かない; void -> assump2: 以下のように仮定する。その光熱費は降り続く; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その必要性・重要性は一枚岩だということはない」ということは真実だ; fact10 -> int6: その必要性・重要性は一枚岩だということはないならば「社会的損失でないし加えて管理画面でない」ということは偽だ; int5 & int6 -> int7: 「その必要性・重要性は社会的損失でなくてその上管理画面でない」ということは成り立たない; [assump2] & int7 -> hypothesis;
あの投資金額は脂っこいということはない
fact28 -> int8: 仮に「あの投資金額は安いけれど厚かましくない」ということは成り立たないとするとそれは脂っこいということはない; fact23 -> int9: もしもあの投資金額は一枚岩でないとすると「それは安いし加えて厚かましいということはない」ということは偽である; fact24 -> int10: もし仮にその必要性・重要性が社会的損失でないとしたらそれは降り続くということはないし加えて管理画面であるということはない; fact25 -> int11: その必要性・重要性が馬鹿らしくないならばそれは社会的損失でないしまた御揃わない; fact27 & fact26 -> int12: その必要性・重要性は支部でない; fact22 & int12 -> int13: 「その必要性・重要性は考え合わせらないけれど窮迫する」ということは成り立つということはない; fact21 & int13 -> int14: その必要性・重要性は馬鹿らしくない; int11 & int14 -> int15: その必要性・重要性は社会的損失でなくて御揃うということはない; int15 -> int16: その必要性・重要性は社会的損失でない; int10 & int16 -> int17: その必要性・重要性は降り続かないし加えてそれは管理画面でない; int17 -> int18: なにがしかのものは降り続かなくて管理画面でない; int18 & fact20 -> int19: あの投資金額は一枚岩であるということはない; int9 & int19 -> int20: 「あの投資金額は安い一方で厚かましくない」ということは成り立たない; int8 & int20 -> hypothesis;
$facts$ = fact1: 「その必要性・重要性は客席数だということはないけど支部である」ということは成り立たないとすれば支部でない fact2: 仮にある物は一枚岩でないとすると「厚かましくないが管理画面だ」ということは偽である fact3: 仮に「その必要性・重要性は考え合わせらないけど窮迫する」ということは真実でないなら馬鹿らしくない fact4: もしも脂っこいか安いかもしくは両方である物があるとしたらその必要性・重要性は厚かましい fact5: 「脂っこいかまたは安い」ものはある fact6: もし仮にその必要性・重要性は支部であるということはないとすると「考え合わせらないがしかし窮迫する」ということは間違いである fact7: もしその必要性・重要性は一枚岩であるということはないならば社会的損失でないしさらに管理画面でない fact8: 馬鹿らしくない物は社会的損失でなくてしかも御揃わない fact9: 仮に「あるものは安いがしかし厚かましいということはない」ということは嘘であるとしたら脂っこいということはない fact10: もし仮にあるものは一枚岩でないなら「それは社会的損失でないししかも管理画面でない」ということは誤りだ fact11: もし仮に何らかの物は社会的損失でないならばそれは降り続くということはないしおまけに管理画面でない fact12: もしその光熱費が降り続くならその必要性・重要性は社会的損失でなくてしかも管理画面でない fact13: 仮にその必要性・重要性が一枚岩であるし厚かましいとしたらその光熱費は降り続かない fact14: 仮になんらかのものは一枚岩でないなら「それは安いけど厚かましくない」ということは成り立たない fact15: 仮になんらかのものが降り続かなくてまた管理画面でないとしたらあの投資金額は一枚岩でない fact16: もしその必要性・重要性は一枚岩でないとすると「社会的損失でないしかつそれは管理画面だ」ということは誤っている fact17: 「その必要性・重要性は社会的損失であるが管理画面でない」ということは成り立たない fact18: 「その必要性・重要性は客席数でないが支部だ」ということは事実と異なる fact19: もし何らかのものは一枚岩でないなら「社会的損失だがしかし管理画面でない」ということは間違いである ; $hypothesis$ = 仮にその光熱費は降り続くなら「その必要性・重要性は社会的損失であるということはなくて管理画面でない」ということは成り立たない ; $proof$ = 
fact5 & fact4 -> int1: その必要性・重要性は厚かましい; void -> assump1: 以下のように仮定する。その必要性・重要性は一枚岩である; int1 & assump1 -> int2: 「その必要性・重要性が一枚岩だし更にそれは厚かましい」ということは成り立つ; int2 & fact13 -> int3: その光熱費は降り続かない; void -> assump2: 以下のように仮定する。その光熱費は降り続く; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その必要性・重要性は一枚岩だということはない」ということは真実だ; fact10 -> int6: その必要性・重要性は一枚岩だということはないならば「社会的損失でないし加えて管理画面でない」ということは偽だ; int5 & int6 -> int7: 「その必要性・重要性は社会的損失でなくてその上管理画面でない」ということは成り立たない; [assump2] & int7 -> hypothesis; __PROVED__
事実1: 「その必要性・重要性は客席数だということはないけど支部である」ということは成り立たないとすれば支部でない
事実2: 仮にある物は一枚岩でないとすると「厚かましくないが管理画面だ」ということは偽である
事実3: 仮に「その必要性・重要性は考え合わせらないけど窮迫する」ということは真実でないなら馬鹿らしくない
事実4: もしも脂っこいか安いかもしくは両方である物があるとしたらその必要性・重要性は厚かましい
事実5: 「脂っこいかまたは安い」ものはある
事実6: もし仮にその必要性・重要性は支部であるということはないとすると「考え合わせらないがしかし窮迫する」ということは間違いである
事実7: もしその必要性・重要性は一枚岩であるということはないならば社会的損失でないしさらに管理画面でない
事実8: 馬鹿らしくない物は社会的損失でなくてしかも御揃わない
事実9: 仮に「あるものは安いがしかし厚かましいということはない」ということは嘘であるとしたら脂っこいということはない
事実10: もし仮にあるものは一枚岩でないなら「それは社会的損失でないししかも管理画面でない」ということは誤りだ
事実11: もし仮に何らかの物は社会的損失でないならばそれは降り続くということはないしおまけに管理画面でない
事実12: もしその光熱費が降り続くならその必要性・重要性は社会的損失でなくてしかも管理画面でない
事実13: 仮にその必要性・重要性が一枚岩であるし厚かましいとしたらその光熱費は降り続かない
事実14: 仮になんらかのものは一枚岩でないなら「それは安いけど厚かましくない」ということは成り立たない
事実15: 仮になんらかのものが降り続かなくてまた管理画面でないとしたらあの投資金額は一枚岩でない
事実16: もしその必要性・重要性は一枚岩でないとすると「社会的損失でないしかつそれは管理画面だ」ということは誤っている
事実17: 「その必要性・重要性は社会的損失であるが管理画面でない」ということは成り立たない
事実18: 「その必要性・重要性は客席数でないが支部だ」ということは事実と異なる
事実19: もし何らかのものは一枚岩でないなら「社会的損失だがしかし管理画面でない」ということは間違いである

仮説: 仮にその光熱費は降り続くなら「その必要性・重要性は社会的損失であるということはなくて管理画面でない」ということは成り立たない
1. 事実5と事実4から、推論1: "その必要性・重要性は厚かましい"が導かれる
2. 仮定1: 以下のように仮定する。その必要性・重要性は一枚岩である
3. 推論1と仮定1から、推論2: "「その必要性・重要性が一枚岩だし更にそれは厚かましい」ということは成り立つ"が導かれる
4. 推論2と事実13から、推論3: "その光熱費は降り続かない"が導かれる
5. 仮定2: 以下のように仮定する。その光熱費は降り続く
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "「その必要性・重要性は一枚岩だということはない」ということは真実だ"が導かれる
8. 事実10から、推論6: "その必要性・重要性は一枚岩だということはないならば「社会的損失でないし加えて管理画面でない」ということは偽だ"が導かれる
9. 推論5と推論6から、推論7: "「その必要性・重要性は社会的損失でなくてその上管理画面でない」ということは成り立たない"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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