「「あの出刃包丁は揉み出すしインクルードＳだ」ということは誤っている」ということは確かだ
fact1: もしもなんらかのものが生み落とさないとするとそれはインクルードＳであるし悍ましい fact2: あの分化度は漏電だ fact3: あの出刃包丁は生み落とす fact4: あの出刃包丁は膵液だし加えて揉み出す fact5: 仮にその専用庭が生み落とすしさらに揉み出すとすればこのロッキード式アルティア型は揉み出さない fact6: もしもあの定期総会が伸び易くないとしたらそれは膵液でまた取得し易い fact7: もし仮に「何らかの物は一郭でない一方で極まりない」ということは嘘であるならば丁稚達である fact8: あの出刃包丁は膵液である fact9: あの出刃包丁は生み落とすし更にインクルードＳだ fact10: 仮になにがしかの物が丁稚達ならそれは偽証罪であるということはないしおまけに去勢しない fact11: あの分化度は漏電であるとすると「その御用事は一郭でないが極まりない」ということは成り立たない fact12: なにかは偽証罪だということはないしおまけにそれが去勢しないならこの仏教思想は伸び易い fact13: もしこの仏教思想が伸び易いとすればあの定期総会は伸び易くない fact14: 仮に「膵液な」ものはあるなら「その専用庭は生み落とすし更に揉み出す」ということは確かである
fact9 -> int1: あの出刃包丁はインクルードＳだ; fact4 -> int2: あの出刃包丁は揉み出す; int1 & int2 -> hypothesis;
fact9 -> int1: {B}{a}; fact4 -> int2: {C}{a}; int1 & int2 -> hypothesis;
この陥穽はインクルードＳであるしまた悍ましい
fact15 -> int3: 仮にこの陥穽が生み落とさないならそれはインクルードＳであるし加えて悍ましい;
$facts$ = fact1: もしもなんらかのものが生み落とさないとするとそれはインクルードＳであるし悍ましい fact2: あの分化度は漏電だ fact3: あの出刃包丁は生み落とす fact4: あの出刃包丁は膵液だし加えて揉み出す fact5: 仮にその専用庭が生み落とすしさらに揉み出すとすればこのロッキード式アルティア型は揉み出さない fact6: もしもあの定期総会が伸び易くないとしたらそれは膵液でまた取得し易い fact7: もし仮に「何らかの物は一郭でない一方で極まりない」ということは嘘であるならば丁稚達である fact8: あの出刃包丁は膵液である fact9: あの出刃包丁は生み落とすし更にインクルードＳだ fact10: 仮になにがしかの物が丁稚達ならそれは偽証罪であるということはないしおまけに去勢しない fact11: あの分化度は漏電であるとすると「その御用事は一郭でないが極まりない」ということは成り立たない fact12: なにかは偽証罪だということはないしおまけにそれが去勢しないならこの仏教思想は伸び易い fact13: もしこの仏教思想が伸び易いとすればあの定期総会は伸び易くない fact14: 仮に「膵液な」ものはあるなら「その専用庭は生み落とすし更に揉み出す」ということは確かである ; $hypothesis$ = 「「あの出刃包丁は揉み出すしインクルードＳだ」ということは誤っている」ということは確かだ ; $proof$ = 
fact9 -> int1: あの出刃包丁はインクルードＳだ; fact4 -> int2: あの出刃包丁は揉み出す; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものが生み落とさないとするとそれはインクルードＳであるし悍ましい
事実2: あの分化度は漏電だ
事実3: あの出刃包丁は生み落とす
事実4: あの出刃包丁は膵液だし加えて揉み出す
事実5: 仮にその専用庭が生み落とすしさらに揉み出すとすればこのロッキード式アルティア型は揉み出さない
事実6: もしもあの定期総会が伸び易くないとしたらそれは膵液でまた取得し易い
事実7: もし仮に「何らかの物は一郭でない一方で極まりない」ということは嘘であるならば丁稚達である
事実8: あの出刃包丁は膵液である
事実9: あの出刃包丁は生み落とすし更にインクルードＳだ
事実10: 仮になにがしかの物が丁稚達ならそれは偽証罪であるということはないしおまけに去勢しない
事実11: あの分化度は漏電であるとすると「その御用事は一郭でないが極まりない」ということは成り立たない
事実12: なにかは偽証罪だということはないしおまけにそれが去勢しないならこの仏教思想は伸び易い
事実13: もしこの仏教思想が伸び易いとすればあの定期総会は伸び易くない
事実14: 仮に「膵液な」ものはあるなら「その専用庭は生み落とすし更に揉み出す」ということは確かである

仮説: 「「あの出刃包丁は揉み出すしインクルードＳだ」ということは誤っている」ということは確かだ
1. 事実9から、推論1: "あの出刃包丁はインクルードＳだ"が導かれる
2. 事実4から、推論2: "あの出刃包丁は揉み出す"が導かれる
3. 推論1と推論2から、仮説が否定される

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