あの物質利益至上主義は立証出来る
fact1: あの狼狽え振りはニットでない fact2: あの中粒はＤＩＭＭであるがしかしそれは余所余所しかない fact3: あの中粒はニットだ fact4: もしもあの中粒は導き出せないとしたら「あの狼狽え振りは表現し難いし加えて胃印環細胞癌である」ということは事実と異なる fact5: あの中粒がＤＩＭＭでしかもそれが余所余所しいならばあの狼狽え振りは余所余所しいということはない fact6: 余所余所しかない物は導き出せるしさらに表現し難い fact7: あの物質利益至上主義はニットであるしおまけに胃印環細胞癌だ fact8: 仮にあの物質利益至上主義が立証出来るしニットであるならあの狼狽え振りは導き出せない fact9: もし何らかのものは余所余所しかないならば「それは表現し難い」ということは真実だ fact10: あの狼狽え振りは立証出来ない fact11: あの狼狽え振りは表現し難い fact12: あの中粒は胃印環細胞癌でない fact13: 「あの狼狽え振りはニットである」ということは間違いであるということはないとすると「あの物質利益至上主義は導き出せない一方で胃印環細胞癌である」ということは事実と異なる fact14: あのメロディーは難破するしニットだ fact15: もし仮にあの狼狽え振りが余所余所しいということはないとするとそれは表現し難い fact16: もし仮に「とある物は表現し難くてそれは胃印環細胞癌だ」ということは成り立たないとしたらそれは胃印環細胞癌でない fact17: もしもあの物質利益至上主義は立証出来るしＤＩＭＭなら「あの狼狽え振りは余所余所しかない」ということは真実である fact18: あの物質利益至上主義は胃印環細胞癌だ fact19: あの中粒は余所余所しかない fact20: この手術前日は導き出せない fact21: 仮にこの投影法がニットであるとするとあの狼狽え振りはニットである fact22: あの中粒は表現し難い fact23: もしあの中粒がＤＩＭＭであるけれど余所余所しいということはないとすればあの狼狽え振りは余所余所しかない
fact7 -> int1: 「あの物質利益至上主義はニットだ」ということは正しい; void -> assump1: 以下のように仮定する。あの物質利益至上主義は立証出来る; int1 & assump1 -> int2: あの物質利益至上主義は立証出来るしニットである; int2 & fact8 -> int3: あの狼狽え振りは導き出せない; fact23 & fact2 -> int4: あの狼狽え振りは余所余所しかない; fact6 -> int5: もし仮にあの狼狽え振りが余所余所しかないなら導き出せるしかつそれは表現し難い; int4 & int5 -> int6: あの狼狽え振りは導き出せるし更に表現し難い; int6 -> int7: あの狼狽え振りは導き出せる; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あの中粒は導き出せる
$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$ = 
fact7 -> int1: 「あの物質利益至上主義はニットだ」ということは正しい; void -> assump1: 以下のように仮定する。あの物質利益至上主義は立証出来る; int1 & assump1 -> int2: あの物質利益至上主義は立証出来るしニットである; int2 & fact8 -> int3: あの狼狽え振りは導き出せない; fact23 & fact2 -> int4: あの狼狽え振りは余所余所しかない; fact6 -> int5: もし仮にあの狼狽え振りが余所余所しかないなら導き出せるしかつそれは表現し難い; int4 & int5 -> int6: あの狼狽え振りは導き出せるし更に表現し難い; int6 -> int7: あの狼狽え振りは導き出せる; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: あの狼狽え振りはニットでない
事実2: あの中粒はＤＩＭＭであるがしかしそれは余所余所しかない
事実3: あの中粒はニットだ
事実4: もしもあの中粒は導き出せないとしたら「あの狼狽え振りは表現し難いし加えて胃印環細胞癌である」ということは事実と異なる
事実5: あの中粒がＤＩＭＭでしかもそれが余所余所しいならばあの狼狽え振りは余所余所しいということはない
事実6: 余所余所しかない物は導き出せるしさらに表現し難い
事実7: あの物質利益至上主義はニットであるしおまけに胃印環細胞癌だ
事実8: 仮にあの物質利益至上主義が立証出来るしニットであるならあの狼狽え振りは導き出せない
事実9: もし何らかのものは余所余所しかないならば「それは表現し難い」ということは真実だ
事実10: あの狼狽え振りは立証出来ない
事実11: あの狼狽え振りは表現し難い
事実12: あの中粒は胃印環細胞癌でない
事実13: 「あの狼狽え振りはニットである」ということは間違いであるということはないとすると「あの物質利益至上主義は導き出せない一方で胃印環細胞癌である」ということは事実と異なる
事実14: あのメロディーは難破するしニットだ
事実15: もし仮にあの狼狽え振りが余所余所しいということはないとするとそれは表現し難い
事実16: もし仮に「とある物は表現し難くてそれは胃印環細胞癌だ」ということは成り立たないとしたらそれは胃印環細胞癌でない
事実17: もしもあの物質利益至上主義は立証出来るしＤＩＭＭなら「あの狼狽え振りは余所余所しかない」ということは真実である
事実18: あの物質利益至上主義は胃印環細胞癌だ
事実19: あの中粒は余所余所しかない
事実20: この手術前日は導き出せない
事実21: 仮にこの投影法がニットであるとするとあの狼狽え振りはニットである
事実22: あの中粒は表現し難い
事実23: もしあの中粒がＤＩＭＭであるけれど余所余所しいということはないとすればあの狼狽え振りは余所余所しかない

仮説: あの物質利益至上主義は立証出来る
1. 事実7から、推論1: "「あの物質利益至上主義はニットだ」ということは正しい"が導かれる
2. 仮定1: 以下のように仮定する。あの物質利益至上主義は立証出来る
3. 推論1と仮定1から、推論2: "あの物質利益至上主義は立証出来るしニットである"が導かれる
4. 推論2と事実8から、推論3: "あの狼狽え振りは導き出せない"が導かれる
5. 事実23と事実2から、推論4: "あの狼狽え振りは余所余所しかない"が導かれる
6. 事実6から、推論5: "もし仮にあの狼狽え振りが余所余所しかないなら導き出せるしかつそれは表現し難い"が導かれる
7. 推論4と推論5から、推論6: "あの狼狽え振りは導き出せるし更に表現し難い"が導かれる
8. 推論6から、推論7: "あの狼狽え振りは導き出せる"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

よって、仮説が否定されました。