あのキャンパス内は手酷くない
fact1: もしその胸腹部が仕業であるけど真っ裸でないならばあのキャンパス内は焼き付けない fact2: 「この全ては交錯し合わないがしかし得られ難い」ということは嘘である fact3: 仮に「その胸腹部は交錯し合わないしそれは焼き付けるということはない」ということは成り立つということはないなら議しない fact4: 「その胸腹部は焼き付ける一方で得られ難いということはない」ということは間違いならこの全ては焼き付ける fact5: あのキャンパス内は真っ裸でない fact6: その胸腹部は山深くない fact7: 「その胸腹部は焼き付けるがしかし得られ難くない」ということは誤っている fact8: 「この全ては山深くないししかも交錯し合わない」ということは本当でない fact9: あのキャンパス内は交錯し合わない fact10: 「この全ては山深くなくて交錯し合わない」ということは間違っているなら議しない fact11: もし仮に「何かは仕業であるということはないがしかし議する」ということは間違いであるとしたらそれは議しない fact12: この指数近似は手酷いしその上真っ裸だ fact13: あのキャンパス内は山深い fact14: 仮にその胸腹部は交錯し合わないならば「焼き付けるしその上それは真っ裸であるということはない」ということは嘘だ fact15: もし仮になにがしかのものは真っ裸でないとすれば「それは手酷いがしかし仕業だということはない」ということは成り立たない fact16: 「あのキャンパス内は真っ裸でないけれど焼き付ける」ということは本当でない fact17: その胸腹部は仕業でない fact18: もしある物は焼き付けないとすると「それは得られ難い一方で張り付かない」ということは嘘だ fact19: 仮にこの全てが焼き付けるが議しないとしたらあのキャンパス内は仕業でない fact20: 真っ裸は議するということはなくて仕業でない fact21: 仮にとある物は手酷いなら「仕業でないけど議する」ということは本当であるということはない
fact10 & fact8 -> int1: この全ては議しない; fact4 & fact7 -> int2: この全ては焼き付ける; int1 & int2 -> int3: この全ては焼き付ける一方で議しない; int3 & fact19 -> int4: あのキャンパス内は仕業でない; void -> assump1: 以下のように仮定する。あのキャンパス内は手酷い; int4 & assump1 -> int5: あのキャンパス内は手酷いがしかし仕業でない; fact15 -> int6: 仮にあのキャンパス内は真っ裸でないとすれば「それは手酷いけれど仕業でない」ということは間違っている; int6 & fact5 -> int7: 「あのキャンパス内は手酷いがしかし仕業でない」ということは事実と異なる; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あのキャンパス内は手酷い
fact22 -> int9: この全てが真っ裸なら議しなくてしかも仕業でない;
$facts$ = fact1: もしその胸腹部が仕業であるけど真っ裸でないならばあのキャンパス内は焼き付けない fact2: 「この全ては交錯し合わないがしかし得られ難い」ということは嘘である fact3: 仮に「その胸腹部は交錯し合わないしそれは焼き付けるということはない」ということは成り立つということはないなら議しない fact4: 「その胸腹部は焼き付ける一方で得られ難いということはない」ということは間違いならこの全ては焼き付ける fact5: あのキャンパス内は真っ裸でない fact6: その胸腹部は山深くない fact7: 「その胸腹部は焼き付けるがしかし得られ難くない」ということは誤っている fact8: 「この全ては山深くないししかも交錯し合わない」ということは本当でない fact9: あのキャンパス内は交錯し合わない fact10: 「この全ては山深くなくて交錯し合わない」ということは間違っているなら議しない fact11: もし仮に「何かは仕業であるということはないがしかし議する」ということは間違いであるとしたらそれは議しない fact12: この指数近似は手酷いしその上真っ裸だ fact13: あのキャンパス内は山深い fact14: 仮にその胸腹部は交錯し合わないならば「焼き付けるしその上それは真っ裸であるということはない」ということは嘘だ fact15: もし仮になにがしかのものは真っ裸でないとすれば「それは手酷いがしかし仕業だということはない」ということは成り立たない fact16: 「あのキャンパス内は真っ裸でないけれど焼き付ける」ということは本当でない fact17: その胸腹部は仕業でない fact18: もしある物は焼き付けないとすると「それは得られ難い一方で張り付かない」ということは嘘だ fact19: 仮にこの全てが焼き付けるが議しないとしたらあのキャンパス内は仕業でない fact20: 真っ裸は議するということはなくて仕業でない fact21: 仮にとある物は手酷いなら「仕業でないけど議する」ということは本当であるということはない ; $hypothesis$ = あのキャンパス内は手酷くない ; $proof$ = 
fact10 & fact8 -> int1: この全ては議しない; fact4 & fact7 -> int2: この全ては焼き付ける; int1 & int2 -> int3: この全ては焼き付ける一方で議しない; int3 & fact19 -> int4: あのキャンパス内は仕業でない; void -> assump1: 以下のように仮定する。あのキャンパス内は手酷い; int4 & assump1 -> int5: あのキャンパス内は手酷いがしかし仕業でない; fact15 -> int6: 仮にあのキャンパス内は真っ裸でないとすれば「それは手酷いけれど仕業でない」ということは間違っている; int6 & fact5 -> int7: 「あのキャンパス内は手酷いがしかし仕業でない」ということは事実と異なる; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もしその胸腹部が仕業であるけど真っ裸でないならばあのキャンパス内は焼き付けない
事実2: 「この全ては交錯し合わないがしかし得られ難い」ということは嘘である
事実3: 仮に「その胸腹部は交錯し合わないしそれは焼き付けるということはない」ということは成り立つということはないなら議しない
事実4: 「その胸腹部は焼き付ける一方で得られ難いということはない」ということは間違いならこの全ては焼き付ける
事実5: あのキャンパス内は真っ裸でない
事実6: その胸腹部は山深くない
事実7: 「その胸腹部は焼き付けるがしかし得られ難くない」ということは誤っている
事実8: 「この全ては山深くないししかも交錯し合わない」ということは本当でない
事実9: あのキャンパス内は交錯し合わない
事実10: 「この全ては山深くなくて交錯し合わない」ということは間違っているなら議しない
事実11: もし仮に「何かは仕業であるということはないがしかし議する」ということは間違いであるとしたらそれは議しない
事実12: この指数近似は手酷いしその上真っ裸だ
事実13: あのキャンパス内は山深い
事実14: 仮にその胸腹部は交錯し合わないならば「焼き付けるしその上それは真っ裸であるということはない」ということは嘘だ
事実15: もし仮になにがしかのものは真っ裸でないとすれば「それは手酷いがしかし仕業だということはない」ということは成り立たない
事実16: 「あのキャンパス内は真っ裸でないけれど焼き付ける」ということは本当でない
事実17: その胸腹部は仕業でない
事実18: もしある物は焼き付けないとすると「それは得られ難い一方で張り付かない」ということは嘘だ
事実19: 仮にこの全てが焼き付けるが議しないとしたらあのキャンパス内は仕業でない
事実20: 真っ裸は議するということはなくて仕業でない
事実21: 仮にとある物は手酷いなら「仕業でないけど議する」ということは本当であるということはない

仮説: あのキャンパス内は手酷くない
1. 事実10と事実8から、推論1: "この全ては議しない"が導かれる
2. 事実4と事実7から、推論2: "この全ては焼き付ける"が導かれる
3. 推論1と推論2から、推論3: "この全ては焼き付ける一方で議しない"が導かれる
4. 推論3と事実19から、推論4: "あのキャンパス内は仕業でない"が導かれる
5. 仮定1: 以下のように仮定する。あのキャンパス内は手酷い
6. 推論4と仮定1から、推論5: "あのキャンパス内は手酷いがしかし仕業でない"が導かれる
7. 事実15から、推論6: "仮にあのキャンパス内は真っ裸でないとすれば「それは手酷いけれど仕業でない」ということは間違っている"が導かれる
8. 推論6と事実5から、推論7: "「あのキャンパス内は手酷いがしかし仕業でない」ということは事実と異なる"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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