あの住環境水準は生成し易いということはなくておまけに設置出来るということはない
fact1: 仮にこのヘパリンは設置出来ないとしたら「あの住環境水準は生成し易くないししかも設置出来ない」ということは偽である fact2: もしなにがしかのものが火照らないならば自慢話であるし生成し易い fact3: このヘパリンは再配分しない fact4: もしこのヘパリンが再配分するとすればきな臭い fact5: 仮に「なにかは再配分するということはないがしかし事する」ということは誤りだとすればきな臭い fact6: このヘパリンはきな臭いということはない fact7: もし仮に「あの産業・企業は千九百九十七年現在でない」ということは事実であるとしたら「あの住環境水準はまだるっこしくないしおまけに使用すらない」ということは成り立たない fact8: 仮にこの船員法が点検出来るということはないとしたらそれはきな臭い fact9: 仮に「「まだるっこしくないししかも使用すということはない」ということは間違っている」物があるとするとこのレガシーＢは相談出来る fact10: あの住環境水準は設置出来るということはないがきな臭い fact11: 「あの住環境水準は生成し易くない一方で設置出来る」ということは誤りである fact12: なんらかの物が相談出来ればそれは火照らない fact13: もし何らかのものは自慢話であるとしたら設置出来る fact14: 「この回収方法は千九百九十七年現在である一方で勘当するということはない」ということは誤りである fact15: もしもこの将軍霊廟は据えないがしかし事するとしたら選るということはない fact16: もしも「この回収方法は千九百九十七年現在であるけど勘当しない」ということは誤っているならあの産業・企業は千九百九十七年現在でない fact17: もしも何らかのものは設置出来れば「「ヒューマニズムでない一方できな臭い」ということは成り立つ」ということは成り立たない fact18: もし仮にこのヘパリンは再配分しないがしかし事するとするとそれは設置出来ない
fact5 -> int1: もし仮に「このヘパリンは再配分しないが事する」ということは成り立たないとすればそれはきな臭い; void -> assump1: 以下のように仮定する。「このヘパリンは再配分しないがしかし事する」ということは誤りである; int1 & assump1 -> int2: このヘパリンはきな臭い; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: このヘパリンは再配分しないけれどそれは事する; int4 & fact18 -> int5: このヘパリンは設置出来ない; int5 & fact1 -> hypothesis;
「このレガシーＢはヒューマニズムでないけれどきな臭い」ということは偽だ
fact23 -> int6: 仮にこのレガシーＢは設置出来れば「ヒューマニズムでないけれどきな臭い」ということは成り立たない; fact25 -> int7: もしこのレガシーＢが自慢話ならば設置出来る; fact19 -> int8: もし仮にこのレガシーＢが火照るということはないとしたらそれは自慢話であるしかつ生成し易い; fact20 -> int9: このレガシーＢが相談出来るなら火照らない; fact26 & fact24 -> int10: あの産業・企業は千九百九十七年現在でない; fact21 & int10 -> int11: 「「あの住環境水準はまだるっこしいということはなくてかつ使用すということはない」ということは偽である」ということは確かである; int11 -> int12: 「「まだるっこしいということはないし加えて使用すらない」ということは間違いである」物はある; int12 & fact22 -> int13: このレガシーＢは相談出来る; int9 & int13 -> int14: 「このレガシーＢは火照らない」ということは間違いであるということはない; int8 & int14 -> int15: このレガシーＢは自慢話で加えて生成し易い; int15 -> int16: このレガシーＢは自慢話である; int7 & int16 -> int17: このレガシーＢは設置出来る; int6 & int17 -> hypothesis;
$facts$ = fact1: 仮にこのヘパリンは設置出来ないとしたら「あの住環境水準は生成し易くないししかも設置出来ない」ということは偽である fact2: もしなにがしかのものが火照らないならば自慢話であるし生成し易い fact3: このヘパリンは再配分しない fact4: もしこのヘパリンが再配分するとすればきな臭い fact5: 仮に「なにかは再配分するということはないがしかし事する」ということは誤りだとすればきな臭い fact6: このヘパリンはきな臭いということはない fact7: もし仮に「あの産業・企業は千九百九十七年現在でない」ということは事実であるとしたら「あの住環境水準はまだるっこしくないしおまけに使用すらない」ということは成り立たない fact8: 仮にこの船員法が点検出来るということはないとしたらそれはきな臭い fact9: 仮に「「まだるっこしくないししかも使用すということはない」ということは間違っている」物があるとするとこのレガシーＢは相談出来る fact10: あの住環境水準は設置出来るということはないがきな臭い fact11: 「あの住環境水準は生成し易くない一方で設置出来る」ということは誤りである fact12: なんらかの物が相談出来ればそれは火照らない fact13: もし何らかのものは自慢話であるとしたら設置出来る fact14: 「この回収方法は千九百九十七年現在である一方で勘当するということはない」ということは誤りである fact15: もしもこの将軍霊廟は据えないがしかし事するとしたら選るということはない fact16: もしも「この回収方法は千九百九十七年現在であるけど勘当しない」ということは誤っているならあの産業・企業は千九百九十七年現在でない fact17: もしも何らかのものは設置出来れば「「ヒューマニズムでない一方できな臭い」ということは成り立つ」ということは成り立たない fact18: もし仮にこのヘパリンは再配分しないがしかし事するとするとそれは設置出来ない ; $hypothesis$ = あの住環境水準は生成し易いということはなくておまけに設置出来るということはない ; $proof$ = 
fact5 -> int1: もし仮に「このヘパリンは再配分しないが事する」ということは成り立たないとすればそれはきな臭い; void -> assump1: 以下のように仮定する。「このヘパリンは再配分しないがしかし事する」ということは誤りである; int1 & assump1 -> int2: このヘパリンはきな臭い; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: このヘパリンは再配分しないけれどそれは事する; int4 & fact18 -> int5: このヘパリンは設置出来ない; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にこのヘパリンは設置出来ないとしたら「あの住環境水準は生成し易くないししかも設置出来ない」ということは偽である
事実2: もしなにがしかのものが火照らないならば自慢話であるし生成し易い
事実3: このヘパリンは再配分しない
事実4: もしこのヘパリンが再配分するとすればきな臭い
事実5: 仮に「なにかは再配分するということはないがしかし事する」ということは誤りだとすればきな臭い
事実6: このヘパリンはきな臭いということはない
事実7: もし仮に「あの産業・企業は千九百九十七年現在でない」ということは事実であるとしたら「あの住環境水準はまだるっこしくないしおまけに使用すらない」ということは成り立たない
事実8: 仮にこの船員法が点検出来るということはないとしたらそれはきな臭い
事実9: 仮に「「まだるっこしくないししかも使用すということはない」ということは間違っている」物があるとするとこのレガシーＢは相談出来る
事実10: あの住環境水準は設置出来るということはないがきな臭い
事実11: 「あの住環境水準は生成し易くない一方で設置出来る」ということは誤りである
事実12: なんらかの物が相談出来ればそれは火照らない
事実13: もし何らかのものは自慢話であるとしたら設置出来る
事実14: 「この回収方法は千九百九十七年現在である一方で勘当するということはない」ということは誤りである
事実15: もしもこの将軍霊廟は据えないがしかし事するとしたら選るということはない
事実16: もしも「この回収方法は千九百九十七年現在であるけど勘当しない」ということは誤っているならあの産業・企業は千九百九十七年現在でない
事実17: もしも何らかのものは設置出来れば「「ヒューマニズムでない一方できな臭い」ということは成り立つ」ということは成り立たない
事実18: もし仮にこのヘパリンは再配分しないがしかし事するとするとそれは設置出来ない

仮説: あの住環境水準は生成し易いということはなくておまけに設置出来るということはない
1. 事実5から、推論1: "もし仮に「このヘパリンは再配分しないが事する」ということは成り立たないとすればそれはきな臭い"が導かれる
2. 仮定1: 以下のように仮定する。「このヘパリンは再配分しないがしかし事する」ということは誤りである
3. 推論1と仮定1から、推論2: "このヘパリンはきな臭い"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このヘパリンは再配分しないけれどそれは事する"が導かれる
6. 推論4と事実18から、推論5: "このヘパリンは設置出来ない"が導かれる
7. 推論5と事実1から、仮説が否定される

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