「あの解像度は昔々でなくてそれは薄ら寒くない」ということは成り立たない
fact1: もしも「とあるものは昔々であるしマッシュポテトだ」ということは成り立たないならばそれは昔々でない fact2: もし仮に「何らかの物は人頭税でない一方で地下深い」ということは間違っているとすればそれは心細くない fact3: その酸化鉄は昔々である fact4: この音楽配信は断片化しなくて加えてぴったりしない fact5: 「なにがしかのものは遠ざかるがしかしそれは能力評価だということはない」ということは偽だとすればそれは遠ざからない fact6: もしその童鬼が遠ざかるとするとあの解像度は遠ざかる fact7: もしあの解像度はマッシュポテトでないし心細いということはないとすると拡大解釈しない fact8: 「あの解像度は昔々でないがしかしそれは薄ら寒い」ということは本当でない fact9: 何らかの物は拡大解釈しないなら「遠ざかるけど能力評価でない」ということは成り立たない fact10: もしもなんらかのものが心細くないならばあの童鬼は拡大解釈しない fact11: もしもなにがしかの物は昔々でないとすると能力評価であるかもしくは遠ざかる fact12: なんらかのものが遠ざからないならばそれは昔々でないしその上薄ら寒くない fact13: もしあの格子点は昔々であるとしたら「あの解像度は昔々でない一方でそれは薄ら寒い」ということは嘘である fact14: もし何らかの物は書き順であるとすると「それは人頭税でないしそれは地下深い」ということは嘘である fact15: 仮にあの格子点は昔々であるとすれば「あの解像度は昔々だけど薄ら寒いということはない」ということは間違いだ fact16: もしある物は拡大解釈しないとすれば「それは昔々だしまたマッシュポテトだ」ということは成り立たない fact17: もしあの格子点が遠ざかるとしたら昔々である fact18: もし仮にあの格子点が薄ら寒いならこの鉄鏃は薄ら寒い fact19: もしこの音楽配信が断片化しないし更にそれがぴったりしないならその想定は書き順だ fact20: あの格子点は遠ざかる fact21: 「あの解像度が昔々だけど薄ら寒くない」ということは真実でない fact22: 仮にあの解像度が遠ざかるとすればあの格子点は薄ら寒い fact23: もし仮にあの格子点は昔々ならば「「あの解像度は昔々でないし更にそれは薄ら寒いということはない」ということは間違いだ」ということは真実だ
fact17 & fact20 -> int1: あの格子点は昔々だ; int1 & fact23 -> hypothesis;
この鉄鏃は薄ら寒い
fact26 -> int2: もし仮に「その童鬼は昔々でない」ということは事実であるとすれば能力評価であるか遠ざかる; fact32 -> int3: 「もし「その童鬼は昔々であるしおまけにマッシュポテトだ」ということは事実と異なるならその童鬼は昔々でない」ということは確かである; fact34 -> int4: もしもその童鬼は拡大解釈しないなら「昔々でまたマッシュポテトだ」ということは嘘である; fact24 -> int5: 「その想定は人頭税でないけれど地下深い」ということは偽であるとすればそれは心細くない; fact33 -> int6: 仮にその想定は書き順であるならば「人頭税でないけれど地下深い」ということは間違いである; fact30 & fact28 -> int7: その想定は書き順だ; int6 & int7 -> int8: 「その想定は人頭税でない一方で地下深い」ということは成り立つということはない; int5 & int8 -> int9: その想定は心細くない; int9 -> int10: 「「心細くない」ということは本当である」物はある; int10 & fact29 -> int11: その童鬼は拡大解釈しない; int4 & int11 -> int12: 「その童鬼が昔々だしかつそれはマッシュポテトだ」ということは事実と異なる; int3 & int12 -> int13: その童鬼は昔々でない; int2 & int13 -> int14: その童鬼は能力評価であるかあるいは遠ざかるかもしくはどちらもである;
$facts$ = fact1: もしも「とあるものは昔々であるしマッシュポテトだ」ということは成り立たないならばそれは昔々でない fact2: もし仮に「何らかの物は人頭税でない一方で地下深い」ということは間違っているとすればそれは心細くない fact3: その酸化鉄は昔々である fact4: この音楽配信は断片化しなくて加えてぴったりしない fact5: 「なにがしかのものは遠ざかるがしかしそれは能力評価だということはない」ということは偽だとすればそれは遠ざからない fact6: もしその童鬼が遠ざかるとするとあの解像度は遠ざかる fact7: もしあの解像度はマッシュポテトでないし心細いということはないとすると拡大解釈しない fact8: 「あの解像度は昔々でないがしかしそれは薄ら寒い」ということは本当でない fact9: 何らかの物は拡大解釈しないなら「遠ざかるけど能力評価でない」ということは成り立たない fact10: もしもなんらかのものが心細くないならばあの童鬼は拡大解釈しない fact11: もしもなにがしかの物は昔々でないとすると能力評価であるかもしくは遠ざかる fact12: なんらかのものが遠ざからないならばそれは昔々でないしその上薄ら寒くない fact13: もしあの格子点は昔々であるとしたら「あの解像度は昔々でない一方でそれは薄ら寒い」ということは嘘である fact14: もし何らかの物は書き順であるとすると「それは人頭税でないしそれは地下深い」ということは嘘である fact15: 仮にあの格子点は昔々であるとすれば「あの解像度は昔々だけど薄ら寒いということはない」ということは間違いだ fact16: もしある物は拡大解釈しないとすれば「それは昔々だしまたマッシュポテトだ」ということは成り立たない fact17: もしあの格子点が遠ざかるとしたら昔々である fact18: もし仮にあの格子点が薄ら寒いならこの鉄鏃は薄ら寒い fact19: もしこの音楽配信が断片化しないし更にそれがぴったりしないならその想定は書き順だ fact20: あの格子点は遠ざかる fact21: 「あの解像度が昔々だけど薄ら寒くない」ということは真実でない fact22: 仮にあの解像度が遠ざかるとすればあの格子点は薄ら寒い fact23: もし仮にあの格子点は昔々ならば「「あの解像度は昔々でないし更にそれは薄ら寒いということはない」ということは間違いだ」ということは真実だ ; $hypothesis$ = 「あの解像度は昔々でなくてそれは薄ら寒くない」ということは成り立たない ; $proof$ = 
fact17 & fact20 -> int1: あの格子点は昔々だ; int1 & fact23 -> hypothesis; __PROVED__
事実1: もしも「とあるものは昔々であるしマッシュポテトだ」ということは成り立たないならばそれは昔々でない
事実2: もし仮に「何らかの物は人頭税でない一方で地下深い」ということは間違っているとすればそれは心細くない
事実3: その酸化鉄は昔々である
事実4: この音楽配信は断片化しなくて加えてぴったりしない
事実5: 「なにがしかのものは遠ざかるがしかしそれは能力評価だということはない」ということは偽だとすればそれは遠ざからない
事実6: もしその童鬼が遠ざかるとするとあの解像度は遠ざかる
事実7: もしあの解像度はマッシュポテトでないし心細いということはないとすると拡大解釈しない
事実8: 「あの解像度は昔々でないがしかしそれは薄ら寒い」ということは本当でない
事実9: 何らかの物は拡大解釈しないなら「遠ざかるけど能力評価でない」ということは成り立たない
事実10: もしもなんらかのものが心細くないならばあの童鬼は拡大解釈しない
事実11: もしもなにがしかの物は昔々でないとすると能力評価であるかもしくは遠ざかる
事実12: なんらかのものが遠ざからないならばそれは昔々でないしその上薄ら寒くない
事実13: もしあの格子点は昔々であるとしたら「あの解像度は昔々でない一方でそれは薄ら寒い」ということは嘘である
事実14: もし何らかの物は書き順であるとすると「それは人頭税でないしそれは地下深い」ということは嘘である
事実15: 仮にあの格子点は昔々であるとすれば「あの解像度は昔々だけど薄ら寒いということはない」ということは間違いだ
事実16: もしある物は拡大解釈しないとすれば「それは昔々だしまたマッシュポテトだ」ということは成り立たない
事実17: もしあの格子点が遠ざかるとしたら昔々である
事実18: もし仮にあの格子点が薄ら寒いならこの鉄鏃は薄ら寒い
事実19: もしこの音楽配信が断片化しないし更にそれがぴったりしないならその想定は書き順だ
事実20: あの格子点は遠ざかる
事実21: 「あの解像度が昔々だけど薄ら寒くない」ということは真実でない
事実22: 仮にあの解像度が遠ざかるとすればあの格子点は薄ら寒い
事実23: もし仮にあの格子点は昔々ならば「「あの解像度は昔々でないし更にそれは薄ら寒いということはない」ということは間違いだ」ということは真実だ

仮説: 「あの解像度は昔々でなくてそれは薄ら寒くない」ということは成り立たない
1. 事実17と事実20から、推論1: "あの格子点は昔々だ"が導かれる
2. 推論1と事実23から、仮説が導かれる

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