その主走査方向は受注者だ
fact1: その主走査方向は人魔神であるということはない一方でそれは塗り込める fact2: あの弗化物洗口は前書でない fact3: その主走査方向は前書だ fact4: もし「あの税額控除制度は与え難くないけど虫垂炎である」ということは誤りならばアウトプットしない fact5: もしもあの弗化物洗口が受注者でないとすればそれはドッキングしない fact6: あの弗化物洗口は山スキーであるしドッキングする fact7: もしあの弗化物洗口が前書でないけれど山スキーだとしたらその主走査方向はドッキングしない fact8: あの弗化物洗口は浸れるし加えて毛根である fact9: あの弗化物洗口はドッキングする fact10: 「あの性能指標はＹＭＯでないがしかし立て難い」ということは成り立たないなら「それは学会等でない」ということは間違いでない fact11: 仮にあの弗化物洗口は前書でないけれど振るう散するなら「その主走査方向は受注者でない」ということは本当である fact12: その主走査方向は崩れ易いしおまけにそれは仕事一筋である fact13: もしもあの弗化物洗口は前書だとしたら「山スキーでない」ということは成り立つ fact14: もし仮に「あの弗化物洗口は前書であるということはないけどそれは振るう散する」ということは嘘であるとしたらそれは山スキーでない fact15: その主走査方向は振るう散する
void -> assump1: 以下のように仮定する。「「あの弗化物洗口は前書でないけれど振るう散する」ということは確かである」ということは事実であるということはない; fact14 & assump1 -> int1: あの弗化物洗口は山スキーだということはない; fact6 -> int2: あの弗化物洗口は山スキーだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの弗化物洗口は前書でないがそれは振るう散する; int4 & fact11 -> hypothesis;
$facts$ = fact1: その主走査方向は人魔神であるということはない一方でそれは塗り込める fact2: あの弗化物洗口は前書でない fact3: その主走査方向は前書だ fact4: もし「あの税額控除制度は与え難くないけど虫垂炎である」ということは誤りならばアウトプットしない fact5: もしもあの弗化物洗口が受注者でないとすればそれはドッキングしない fact6: あの弗化物洗口は山スキーであるしドッキングする fact7: もしあの弗化物洗口が前書でないけれど山スキーだとしたらその主走査方向はドッキングしない fact8: あの弗化物洗口は浸れるし加えて毛根である fact9: あの弗化物洗口はドッキングする fact10: 「あの性能指標はＹＭＯでないがしかし立て難い」ということは成り立たないなら「それは学会等でない」ということは間違いでない fact11: 仮にあの弗化物洗口は前書でないけれど振るう散するなら「その主走査方向は受注者でない」ということは本当である fact12: その主走査方向は崩れ易いしおまけにそれは仕事一筋である fact13: もしもあの弗化物洗口は前書だとしたら「山スキーでない」ということは成り立つ fact14: もし仮に「あの弗化物洗口は前書であるということはないけどそれは振るう散する」ということは嘘であるとしたらそれは山スキーでない fact15: その主走査方向は振るう散する ; $hypothesis$ = その主走査方向は受注者だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あの弗化物洗口は前書でないけれど振るう散する」ということは確かである」ということは事実であるということはない; fact14 & assump1 -> int1: あの弗化物洗口は山スキーだということはない; fact6 -> int2: あの弗化物洗口は山スキーだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの弗化物洗口は前書でないがそれは振るう散する; int4 & fact11 -> hypothesis; __DISPROVED__
事実1: その主走査方向は人魔神であるということはない一方でそれは塗り込める
事実2: あの弗化物洗口は前書でない
事実3: その主走査方向は前書だ
事実4: もし「あの税額控除制度は与え難くないけど虫垂炎である」ということは誤りならばアウトプットしない
事実5: もしもあの弗化物洗口が受注者でないとすればそれはドッキングしない
事実6: あの弗化物洗口は山スキーであるしドッキングする
事実7: もしあの弗化物洗口が前書でないけれど山スキーだとしたらその主走査方向はドッキングしない
事実8: あの弗化物洗口は浸れるし加えて毛根である
事実9: あの弗化物洗口はドッキングする
事実10: 「あの性能指標はＹＭＯでないがしかし立て難い」ということは成り立たないなら「それは学会等でない」ということは間違いでない
事実11: 仮にあの弗化物洗口は前書でないけれど振るう散するなら「その主走査方向は受注者でない」ということは本当である
事実12: その主走査方向は崩れ易いしおまけにそれは仕事一筋である
事実13: もしもあの弗化物洗口は前書だとしたら「山スキーでない」ということは成り立つ
事実14: もし仮に「あの弗化物洗口は前書であるということはないけどそれは振るう散する」ということは嘘であるとしたらそれは山スキーでない
事実15: その主走査方向は振るう散する

仮説: その主走査方向は受注者だ
1. 仮定1: 以下のように仮定する。「「あの弗化物洗口は前書でないけれど振るう散する」ということは確かである」ということは事実であるということはない
2. 事実14と仮定1から、推論1: "あの弗化物洗口は山スキーだということはない"が導かれる
3. 事実6から、推論2: "あの弗化物洗口は山スキーだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの弗化物洗口は前書でないがそれは振るう散する"が導かれる
6. 推論4と事実11から、仮説が否定される

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