「あの繊維は魔界であるかそれは分会である」ということは間違っている
fact1: この回転軸は中型車だということはない fact2: 仮にあの繊維がＣ‐Ｃであるならその散歩コースは五十万円以上でない fact3: もし仮に「「分会でないかあるいは魔界であるかもしくはどちらもである」ということは成り立たない」物があるとするとこの回転軸は苦々しいということはない fact4: 仮にあのカタログ・情報誌が膝裏でないならこの回転軸は中型車でないがまう fact5: もし仮になんらかのものは五十万円以上だということはないなら「分会でないかもしくはそれは魔界であるか両方ともである」ということは成り立たない fact6: もしあのカタログ・情報誌は人間愛であるしさらに育て易いとしたらそれは膝裏でない fact7: 「このＤＮＡ断片はＣ‐Ｃであるということはないしその上群れ遊ぶということはない」ということは事実と異なる fact8: この回転軸が中型車でない一方でそれはまえば「その散歩コースは苦々しい」ということは成り立つ fact9: もしも「このＤＮＡ断片はＣ‐Ｃでなくてその上群れ遊ばない」ということは誤っているとすると「あの繊維はＣ‐Ｃだ」ということは成り立つ fact10: あのカタログ・情報誌は人間愛であるし加えてそれは育て易い fact11: もし仮にその散歩コースは苦々しいとすれば「あの繊維は魔界だ」ということは成り立つ fact12: もしもこの回転軸が中型車だしまうとするとその散歩コースは苦々しい
fact6 & fact10 -> int1: あのカタログ・情報誌は膝裏でない; int1 & fact4 -> int2: この回転軸は中型車でない一方でそれはまう; int2 & fact8 -> int3: その散歩コースは苦々しい; int3 & fact11 -> int4: あの繊維は魔界だ; int4 -> hypothesis;
このシステムインテグレータは膝裏でない
fact14 -> int5: もしその散歩コースは五十万円以上でないなら「分会であるということはないかまたは魔界であるかどちらもである」ということは嘘だ; fact17 & fact16 -> int6: あの繊維はＣ‐Ｃだ; fact15 & int6 -> int7: 「その散歩コースは五十万円以上でない」ということは本当だ; int5 & int7 -> int8: 「その散歩コースは分会でないかあるいは魔界であるかまたは両方である」ということは成り立たない; int8 -> int9: 「「分会でないかまたは魔界であるかまたはどちらもだ」ということは事実と異なる」ものはある; int9 & fact13 -> int10: この回転軸は苦々しかない; int10 -> int11: なんらかのものは苦々しかない;
$facts$ = fact1: この回転軸は中型車だということはない fact2: 仮にあの繊維がＣ‐Ｃであるならその散歩コースは五十万円以上でない fact3: もし仮に「「分会でないかあるいは魔界であるかもしくはどちらもである」ということは成り立たない」物があるとするとこの回転軸は苦々しいということはない fact4: 仮にあのカタログ・情報誌が膝裏でないならこの回転軸は中型車でないがまう fact5: もし仮になんらかのものは五十万円以上だということはないなら「分会でないかもしくはそれは魔界であるか両方ともである」ということは成り立たない fact6: もしあのカタログ・情報誌は人間愛であるしさらに育て易いとしたらそれは膝裏でない fact7: 「このＤＮＡ断片はＣ‐Ｃであるということはないしその上群れ遊ぶということはない」ということは事実と異なる fact8: この回転軸が中型車でない一方でそれはまえば「その散歩コースは苦々しい」ということは成り立つ fact9: もしも「このＤＮＡ断片はＣ‐Ｃでなくてその上群れ遊ばない」ということは誤っているとすると「あの繊維はＣ‐Ｃだ」ということは成り立つ fact10: あのカタログ・情報誌は人間愛であるし加えてそれは育て易い fact11: もし仮にその散歩コースは苦々しいとすれば「あの繊維は魔界だ」ということは成り立つ fact12: もしもこの回転軸が中型車だしまうとするとその散歩コースは苦々しい ; $hypothesis$ = 「あの繊維は魔界であるかそれは分会である」ということは間違っている ; $proof$ = 
fact6 & fact10 -> int1: あのカタログ・情報誌は膝裏でない; int1 & fact4 -> int2: この回転軸は中型車でない一方でそれはまう; int2 & fact8 -> int3: その散歩コースは苦々しい; int3 & fact11 -> int4: あの繊維は魔界だ; int4 -> hypothesis; __DISPROVED__
事実1: この回転軸は中型車だということはない
事実2: 仮にあの繊維がＣ‐Ｃであるならその散歩コースは五十万円以上でない
事実3: もし仮に「「分会でないかあるいは魔界であるかもしくはどちらもである」ということは成り立たない」物があるとするとこの回転軸は苦々しいということはない
事実4: 仮にあのカタログ・情報誌が膝裏でないならこの回転軸は中型車でないがまう
事実5: もし仮になんらかのものは五十万円以上だということはないなら「分会でないかもしくはそれは魔界であるか両方ともである」ということは成り立たない
事実6: もしあのカタログ・情報誌は人間愛であるしさらに育て易いとしたらそれは膝裏でない
事実7: 「このＤＮＡ断片はＣ‐Ｃであるということはないしその上群れ遊ぶということはない」ということは事実と異なる
事実8: この回転軸が中型車でない一方でそれはまえば「その散歩コースは苦々しい」ということは成り立つ
事実9: もしも「このＤＮＡ断片はＣ‐Ｃでなくてその上群れ遊ばない」ということは誤っているとすると「あの繊維はＣ‐Ｃだ」ということは成り立つ
事実10: あのカタログ・情報誌は人間愛であるし加えてそれは育て易い
事実11: もし仮にその散歩コースは苦々しいとすれば「あの繊維は魔界だ」ということは成り立つ
事実12: もしもこの回転軸が中型車だしまうとするとその散歩コースは苦々しい

仮説: 「あの繊維は魔界であるかそれは分会である」ということは間違っている
1. 事実6と事実10から、推論1: "あのカタログ・情報誌は膝裏でない"が導かれる
2. 推論1と事実4から、推論2: "この回転軸は中型車でない一方でそれはまう"が導かれる
3. 推論2と事実8から、推論3: "その散歩コースは苦々しい"が導かれる
4. 推論3と事実11から、推論4: "あの繊維は魔界だ"が導かれる
5. 推論4から、仮説が否定される

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