この火の車はシステム論でない
fact1: 「精選でない」物はある fact2: もしその共働き夫婦が建築基準法だとすれば直り難くない fact3: もしも何らかのものが学外でないがそれがＥＴＣだとすればあの火の車はシステム論だ fact4: もし仮に何かは帰隊するとすればそれははっとしないしＥＴＣでない fact5: もしも「このドラフト会議がはっとしないしさらにＥＴＣでない」ということは真実であるならこのＵＭＮＯはＥＴＣであるということはない fact6: もしもその共働き夫婦が繰り入れるとしたらそれは直り難くない fact7: この火の車は金山でない fact8: その流注はＥＴＣでない fact9: もし仮に何らかのものは直り難くないとすると「それは喪失しないしそれに伽羅でない」ということは成り立つということはない fact10: 「この人間全体は学外だということはないしさらにＥＴＣでない」ということは正しい fact11: この人間全体は昭和前期でない fact12: この人間全体はシステム論だ fact13: この人間全体は踏み下ろす fact14: もしもとあるものが学外でないしまたＥＴＣでないとしたらこの火の車はシステム論だ fact15: あの外層はＥＴＣでないならば「それは学外でないがしかしシステム論だ」ということは嘘だ fact16: もしもその共働き夫婦が乗艦しないとしたら建築基準法であるか繰り入れるかどちらもだ fact17: その共働き夫婦は乗艦するということはない fact18: もしこのＵＭＮＯがＥＴＣだということはないとすればあの外層はＥＴＣでない fact19: 仮になにかは喪失するなら帰隊する
fact10 -> int1: なにかは学外でないし加えてＥＴＣでない; int1 & fact14 -> hypothesis;
この火の車はシステム論でない
fact27 -> int2: もしもこのドラフト会議が帰隊するとすればはっとしないしそれにＥＴＣでない; fact24 -> int3: もしもこのドラフト会議が喪失すればそれは帰隊する; fact28 -> int4: もし仮にその共働き夫婦は直り難くないならば「それは喪失しないしその上伽羅でない」ということは間違いだ; fact29 & fact23 -> int5: その共働き夫婦は建築基準法であるかまたは繰り入れるかもしくはどちらもだ; int5 & fact22 & fact26 -> int6: その共働き夫婦は直り難いということはない; int4 & int6 -> int7: 「その共働き夫婦は喪失するということはなくて加えて伽羅でない」ということは間違っている; int7 -> int8: 「「喪失しないし伽羅でない」ということは成り立たない」ものはある;
$facts$ = fact1: 「精選でない」物はある fact2: もしその共働き夫婦が建築基準法だとすれば直り難くない fact3: もしも何らかのものが学外でないがそれがＥＴＣだとすればあの火の車はシステム論だ fact4: もし仮に何かは帰隊するとすればそれははっとしないしＥＴＣでない fact5: もしも「このドラフト会議がはっとしないしさらにＥＴＣでない」ということは真実であるならこのＵＭＮＯはＥＴＣであるということはない fact6: もしもその共働き夫婦が繰り入れるとしたらそれは直り難くない fact7: この火の車は金山でない fact8: その流注はＥＴＣでない fact9: もし仮に何らかのものは直り難くないとすると「それは喪失しないしそれに伽羅でない」ということは成り立つということはない fact10: 「この人間全体は学外だということはないしさらにＥＴＣでない」ということは正しい fact11: この人間全体は昭和前期でない fact12: この人間全体はシステム論だ fact13: この人間全体は踏み下ろす fact14: もしもとあるものが学外でないしまたＥＴＣでないとしたらこの火の車はシステム論だ fact15: あの外層はＥＴＣでないならば「それは学外でないがしかしシステム論だ」ということは嘘だ fact16: もしもその共働き夫婦が乗艦しないとしたら建築基準法であるか繰り入れるかどちらもだ fact17: その共働き夫婦は乗艦するということはない fact18: もしこのＵＭＮＯがＥＴＣだということはないとすればあの外層はＥＴＣでない fact19: 仮になにかは喪失するなら帰隊する ; $hypothesis$ = この火の車はシステム論でない ; $proof$ = 
fact10 -> int1: なにかは学外でないし加えてＥＴＣでない; int1 & fact14 -> hypothesis; __DISPROVED__
事実1: 「精選でない」物はある
事実2: もしその共働き夫婦が建築基準法だとすれば直り難くない
事実3: もしも何らかのものが学外でないがそれがＥＴＣだとすればあの火の車はシステム論だ
事実4: もし仮に何かは帰隊するとすればそれははっとしないしＥＴＣでない
事実5: もしも「このドラフト会議がはっとしないしさらにＥＴＣでない」ということは真実であるならこのＵＭＮＯはＥＴＣであるということはない
事実6: もしもその共働き夫婦が繰り入れるとしたらそれは直り難くない
事実7: この火の車は金山でない
事実8: その流注はＥＴＣでない
事実9: もし仮に何らかのものは直り難くないとすると「それは喪失しないしそれに伽羅でない」ということは成り立つということはない
事実10: 「この人間全体は学外だということはないしさらにＥＴＣでない」ということは正しい
事実11: この人間全体は昭和前期でない
事実12: この人間全体はシステム論だ
事実13: この人間全体は踏み下ろす
事実14: もしもとあるものが学外でないしまたＥＴＣでないとしたらこの火の車はシステム論だ
事実15: あの外層はＥＴＣでないならば「それは学外でないがしかしシステム論だ」ということは嘘だ
事実16: もしもその共働き夫婦が乗艦しないとしたら建築基準法であるか繰り入れるかどちらもだ
事実17: その共働き夫婦は乗艦するということはない
事実18: もしこのＵＭＮＯがＥＴＣだということはないとすればあの外層はＥＴＣでない
事実19: 仮になにかは喪失するなら帰隊する

仮説: この火の車はシステム論でない
1. 事実10から、推論1: "なにかは学外でないし加えてＥＴＣでない"が導かれる
2. 推論1と事実14から、仮説が否定される

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