「その窓ガラス越しはモーロでない」ということは成り立つ
fact1: 「何らかの物は腹であるが荷作りしない」ということは成り立つということはないとすればそれは腹だということはない fact2: 「仮にその水族は手書き文字であるとすれば「その水族はモーロだ」ということは確かである」ということは真実だ fact3: 仮にその双鐗が甲斐ならこの筋力低下は甲斐だ fact4: もしもその双鐗が呈しないとしたら甲斐である fact5: もし仮に「その補給線は忠実忠実しいし引き比べる」ということは成り立たないとすると背かない fact6: もし仮に「なにかは腹だということはないがそれは白人中産階級である」ということは誤りであるとしたら荷作りしない fact7: もしもこの筋力低下がヒートアップするがしかし荷作りしないならばその窓ガラス越しはモーロでない fact8: 仮にこの筋力低下が御茶パンだとすればその補給線は白人中産階級でなくて加えてそれはヒートアップしない fact9: もし仮にその双鐗は忠実忠実しかないなら「御茶パンだし腹である」ということは誤っている fact10: 仮に「その双鐗は甲斐でないが御茶パンだ」ということは真実でないとしたらその補給線は背く fact11: 仮に何らかの物は甲斐であるとしたらそれは御茶パンである fact12: この筋力低下は腹でない fact13: もし仮にその補給線が手書き文字でないけれど背くとすればあの窓ガラス越しはモーロである fact14: もしもその補給線は手書き文字でないならば「それは忠実忠実しいし加えて引き比べる」ということは成り立たない fact15: 仮にその補給線が荷作りしないならこの筋力低下はヒートアップするけどそれは荷作りしない fact16: もしなんらかのものは手書き文字ならば「それは腹でない一方で白人中産階級である」ということは事実と異なる fact17: 仮にとある物は白人中産階級であるということはないとしたら「それは腹であるし更にそれは荷作りしない」ということは偽である fact18: それは甲斐でないしさらにそれは御茶パンであるというものはない
void -> assump1: 以下のように仮定する。その補給線は手書き文字であるということはない; fact14 & assump1 -> int1: 「その補給線は忠実忠実しいし引き比べる」ということは成り立たない; int1 & fact5 -> int2: その補給線は背かない; fact18 -> int3: 「その双鐗は甲斐であるということはないけどそれは御茶パンである」ということは嘘である; int3 & fact10 -> int4: その補給線は背く; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その補給線は手書き文字だ; fact16 -> int7: その補給線は手書き文字であるとすると「それは腹であるということはないしそれは白人中産階級である」ということは偽だ; int6 & int7 -> int8: 「その補給線は腹でないがしかしそれは白人中産階級である」ということは正しくない; fact6 -> int9: 仮に「その補給線は腹だということはないがしかし白人中産階級だ」ということは成り立たないならばそれは荷作りしない; int8 & int9 -> int10: その補給線は荷作りしない; int10 & fact15 -> int11: 「この筋力低下はヒートアップするが荷作りしない」ということは正しい; int11 & fact7 -> hypothesis;
その水族はモーロである
$facts$ = fact1: 「何らかの物は腹であるが荷作りしない」ということは成り立つということはないとすればそれは腹だということはない fact2: 「仮にその水族は手書き文字であるとすれば「その水族はモーロだ」ということは確かである」ということは真実だ fact3: 仮にその双鐗が甲斐ならこの筋力低下は甲斐だ fact4: もしもその双鐗が呈しないとしたら甲斐である fact5: もし仮に「その補給線は忠実忠実しいし引き比べる」ということは成り立たないとすると背かない fact6: もし仮に「なにかは腹だということはないがそれは白人中産階級である」ということは誤りであるとしたら荷作りしない fact7: もしもこの筋力低下がヒートアップするがしかし荷作りしないならばその窓ガラス越しはモーロでない fact8: 仮にこの筋力低下が御茶パンだとすればその補給線は白人中産階級でなくて加えてそれはヒートアップしない fact9: もし仮にその双鐗は忠実忠実しかないなら「御茶パンだし腹である」ということは誤っている fact10: 仮に「その双鐗は甲斐でないが御茶パンだ」ということは真実でないとしたらその補給線は背く fact11: 仮に何らかの物は甲斐であるとしたらそれは御茶パンである fact12: この筋力低下は腹でない fact13: もし仮にその補給線が手書き文字でないけれど背くとすればあの窓ガラス越しはモーロである fact14: もしもその補給線は手書き文字でないならば「それは忠実忠実しいし加えて引き比べる」ということは成り立たない fact15: 仮にその補給線が荷作りしないならこの筋力低下はヒートアップするけどそれは荷作りしない fact16: もしなんらかのものは手書き文字ならば「それは腹でない一方で白人中産階級である」ということは事実と異なる fact17: 仮にとある物は白人中産階級であるということはないとしたら「それは腹であるし更にそれは荷作りしない」ということは偽である fact18: それは甲斐でないしさらにそれは御茶パンであるというものはない ; $hypothesis$ = 「その窓ガラス越しはモーロでない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。その補給線は手書き文字であるということはない; fact14 & assump1 -> int1: 「その補給線は忠実忠実しいし引き比べる」ということは成り立たない; int1 & fact5 -> int2: その補給線は背かない; fact18 -> int3: 「その双鐗は甲斐であるということはないけどそれは御茶パンである」ということは嘘である; int3 & fact10 -> int4: その補給線は背く; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その補給線は手書き文字だ; fact16 -> int7: その補給線は手書き文字であるとすると「それは腹であるということはないしそれは白人中産階級である」ということは偽だ; int6 & int7 -> int8: 「その補給線は腹でないがしかしそれは白人中産階級である」ということは正しくない; fact6 -> int9: 仮に「その補給線は腹だということはないがしかし白人中産階級だ」ということは成り立たないならばそれは荷作りしない; int8 & int9 -> int10: その補給線は荷作りしない; int10 & fact15 -> int11: 「この筋力低下はヒートアップするが荷作りしない」ということは正しい; int11 & fact7 -> hypothesis; __PROVED__
事実1: 「何らかの物は腹であるが荷作りしない」ということは成り立つということはないとすればそれは腹だということはない
事実2: 「仮にその水族は手書き文字であるとすれば「その水族はモーロだ」ということは確かである」ということは真実だ
事実3: 仮にその双鐗が甲斐ならこの筋力低下は甲斐だ
事実4: もしもその双鐗が呈しないとしたら甲斐である
事実5: もし仮に「その補給線は忠実忠実しいし引き比べる」ということは成り立たないとすると背かない
事実6: もし仮に「なにかは腹だということはないがそれは白人中産階級である」ということは誤りであるとしたら荷作りしない
事実7: もしもこの筋力低下がヒートアップするがしかし荷作りしないならばその窓ガラス越しはモーロでない
事実8: 仮にこの筋力低下が御茶パンだとすればその補給線は白人中産階級でなくて加えてそれはヒートアップしない
事実9: もし仮にその双鐗は忠実忠実しかないなら「御茶パンだし腹である」ということは誤っている
事実10: 仮に「その双鐗は甲斐でないが御茶パンだ」ということは真実でないとしたらその補給線は背く
事実11: 仮に何らかの物は甲斐であるとしたらそれは御茶パンである
事実12: この筋力低下は腹でない
事実13: もし仮にその補給線が手書き文字でないけれど背くとすればあの窓ガラス越しはモーロである
事実14: もしもその補給線は手書き文字でないならば「それは忠実忠実しいし加えて引き比べる」ということは成り立たない
事実15: 仮にその補給線が荷作りしないならこの筋力低下はヒートアップするけどそれは荷作りしない
事実16: もしなんらかのものは手書き文字ならば「それは腹でない一方で白人中産階級である」ということは事実と異なる
事実17: 仮にとある物は白人中産階級であるということはないとしたら「それは腹であるし更にそれは荷作りしない」ということは偽である
事実18: それは甲斐でないしさらにそれは御茶パンであるというものはない

仮説: 「その窓ガラス越しはモーロでない」ということは成り立つ
1. 仮定1: 以下のように仮定する。その補給線は手書き文字であるということはない
2. 事実14と仮定1から、推論1: "「その補給線は忠実忠実しいし引き比べる」ということは成り立たない"が導かれる
3. 推論1と事実5から、推論2: "その補給線は背かない"が導かれる
4. 事実18から、推論3: "「その双鐗は甲斐であるということはないけどそれは御茶パンである」ということは嘘である"が導かれる
5. 推論3と事実10から、推論4: "その補給線は背く"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その補給線は手書き文字だ"が導かれる
8. 事実16から、推論7: "その補給線は手書き文字であるとすると「それは腹であるということはないしそれは白人中産階級である」ということは偽だ"が導かれる
9. 推論6と推論7から、推論8: "「その補給線は腹でないがしかしそれは白人中産階級である」ということは正しくない"が導かれる
10. 事実6から、推論9: "仮に「その補給線は腹だということはないがしかし白人中産階級だ」ということは成り立たないならばそれは荷作りしない"が導かれる
11. 推論8と推論9から、推論10: "その補給線は荷作りしない"が導かれる
12. 推論10と事実15から、推論11: "「この筋力低下はヒートアップするが荷作りしない」ということは正しい"が導かれる
13. 推論11と事実7から、仮説が導かれる

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