あの強行軍は御富だ
fact1: もしもこの各フォームは空費するなら「影響する」ということは誤っていない fact2: この卵巣刺激法は開き易い fact3: あの強行軍は出しゃばる fact4: あの強行軍が主筋だし面舵である fact5: もしも「ある物は予期しなくてまた攣るない」ということは誤りならばそれは空費する fact6: あの洪水防止は発給するということはないとしたら「この卵巣刺激法は御富だということはなくてそれにそれは稲科雑草でない」ということは誤りである fact7: もしこの各フォームはノンであるなら「「予期しないしかつ攣るない」ということは本当である」ということは間違っている fact8: もしこの卵巣刺激法は影響するしかつ稲科雑草であるとするとそれは空費するということはない fact9: あの洪水防止は空費する fact10: 仮に「とあるものは御富でないしそれに稲科雑草でない」ということは成り立たないとすると御富だ fact11: この卵巣刺激法は影響する fact12: もしもあの洪水防止が空費するならこの卵巣刺激法は言い伝える fact13: もしも「あの強行軍は御富である」ということは正しいとすると稲科雑草だ fact14: もし仮にこの各フォームが言い伝えればあの洪水防止は発給しない fact15: もし仮にあの洪水防止が空費するなら影響する fact16: もし仮にあの洪水防止は遠いし空転するなら示し易くない fact17: 「あの強行軍は影響しない」ということは偽だ fact18: 「この鼾は空費しない」ということは間違いでない fact19: 仮にあの強行軍が稲科雑草であるとしたらこの卵巣刺激法は発給する fact20: 仮に「あの洪水防止は眠い」ということは成り立てばそれは作品化する fact21: あの洪水防止は発給する fact22: もし仮にこの卵巣刺激法が御富だとするとあの強行軍は御富だ fact23: もし仮にこの卵巣刺激法が言い伝えるとするとあの強行軍は影響する fact24: もしもこの卵巣刺激法は発給するし更に言い伝えれば影響しない fact25: もし「この二千三年パーツ大賞は握り易くない」ということは本当ならこの各フォームはノンでかつ支えだ fact26: もしも稲科雑草は御富でないならば言い伝える fact27: この四．は影響する fact28: その現実逃避は空費する
void -> assump1: 以下のように仮定する。あの強行軍は御富だ; fact13 & assump1 -> int1: あの強行軍は稲科雑草である; int1 & fact19 -> int2: この卵巣刺激法は発給する; fact12 & fact9 -> int3: この卵巣刺激法は言い伝える; int2 & int3 -> int4: この卵巣刺激法は発給するしその上言い伝える; int4 & fact24 -> int5: 「この卵巣刺激法は影響しない」ということは真実だ; int5 & fact11 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの強行軍は御富である
fact30 -> int7: もし「この卵巣刺激法は御富であるということはないしかつ稲科雑草でない」ということは偽ならばそれは御富である; fact33 -> int8: 「この各フォームは予期しなくて更に攣るない」ということは誤りであるとすると空費する;
$facts$ = fact1: もしもこの各フォームは空費するなら「影響する」ということは誤っていない fact2: この卵巣刺激法は開き易い fact3: あの強行軍は出しゃばる fact4: あの強行軍が主筋だし面舵である fact5: もしも「ある物は予期しなくてまた攣るない」ということは誤りならばそれは空費する fact6: あの洪水防止は発給するということはないとしたら「この卵巣刺激法は御富だということはなくてそれにそれは稲科雑草でない」ということは誤りである fact7: もしこの各フォームはノンであるなら「「予期しないしかつ攣るない」ということは本当である」ということは間違っている fact8: もしこの卵巣刺激法は影響するしかつ稲科雑草であるとするとそれは空費するということはない fact9: あの洪水防止は空費する fact10: 仮に「とあるものは御富でないしそれに稲科雑草でない」ということは成り立たないとすると御富だ fact11: この卵巣刺激法は影響する fact12: もしもあの洪水防止が空費するならこの卵巣刺激法は言い伝える fact13: もしも「あの強行軍は御富である」ということは正しいとすると稲科雑草だ fact14: もし仮にこの各フォームが言い伝えればあの洪水防止は発給しない fact15: もし仮にあの洪水防止が空費するなら影響する fact16: もし仮にあの洪水防止は遠いし空転するなら示し易くない fact17: 「あの強行軍は影響しない」ということは偽だ fact18: 「この鼾は空費しない」ということは間違いでない fact19: 仮にあの強行軍が稲科雑草であるとしたらこの卵巣刺激法は発給する fact20: 仮に「あの洪水防止は眠い」ということは成り立てばそれは作品化する fact21: あの洪水防止は発給する fact22: もし仮にこの卵巣刺激法が御富だとするとあの強行軍は御富だ fact23: もし仮にこの卵巣刺激法が言い伝えるとするとあの強行軍は影響する fact24: もしもこの卵巣刺激法は発給するし更に言い伝えれば影響しない fact25: もし「この二千三年パーツ大賞は握り易くない」ということは本当ならこの各フォームはノンでかつ支えだ fact26: もしも稲科雑草は御富でないならば言い伝える fact27: この四．は影響する fact28: その現実逃避は空費する ; $hypothesis$ = あの強行軍は御富だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの強行軍は御富だ; fact13 & assump1 -> int1: あの強行軍は稲科雑草である; int1 & fact19 -> int2: この卵巣刺激法は発給する; fact12 & fact9 -> int3: この卵巣刺激法は言い伝える; int2 & int3 -> int4: この卵巣刺激法は発給するしその上言い伝える; int4 & fact24 -> int5: 「この卵巣刺激法は影響しない」ということは真実だ; int5 & fact11 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしもこの各フォームは空費するなら「影響する」ということは誤っていない
事実2: この卵巣刺激法は開き易い
事実3: あの強行軍は出しゃばる
事実4: あの強行軍が主筋だし面舵である
事実5: もしも「ある物は予期しなくてまた攣るない」ということは誤りならばそれは空費する
事実6: あの洪水防止は発給するということはないとしたら「この卵巣刺激法は御富だということはなくてそれにそれは稲科雑草でない」ということは誤りである
事実7: もしこの各フォームはノンであるなら「「予期しないしかつ攣るない」ということは本当である」ということは間違っている
事実8: もしこの卵巣刺激法は影響するしかつ稲科雑草であるとするとそれは空費するということはない
事実9: あの洪水防止は空費する
事実10: 仮に「とあるものは御富でないしそれに稲科雑草でない」ということは成り立たないとすると御富だ
事実11: この卵巣刺激法は影響する
事実12: もしもあの洪水防止が空費するならこの卵巣刺激法は言い伝える
事実13: もしも「あの強行軍は御富である」ということは正しいとすると稲科雑草だ
事実14: もし仮にこの各フォームが言い伝えればあの洪水防止は発給しない
事実15: もし仮にあの洪水防止が空費するなら影響する
事実16: もし仮にあの洪水防止は遠いし空転するなら示し易くない
事実17: 「あの強行軍は影響しない」ということは偽だ
事実18: 「この鼾は空費しない」ということは間違いでない
事実19: 仮にあの強行軍が稲科雑草であるとしたらこの卵巣刺激法は発給する
事実20: 仮に「あの洪水防止は眠い」ということは成り立てばそれは作品化する
事実21: あの洪水防止は発給する
事実22: もし仮にこの卵巣刺激法が御富だとするとあの強行軍は御富だ
事実23: もし仮にこの卵巣刺激法が言い伝えるとするとあの強行軍は影響する
事実24: もしもこの卵巣刺激法は発給するし更に言い伝えれば影響しない
事実25: もし「この二千三年パーツ大賞は握り易くない」ということは本当ならこの各フォームはノンでかつ支えだ
事実26: もしも稲科雑草は御富でないならば言い伝える
事実27: この四．は影響する
事実28: その現実逃避は空費する

仮説: あの強行軍は御富だ
1. 仮定1: 以下のように仮定する。あの強行軍は御富だ
2. 事実13と仮定1から、推論1: "あの強行軍は稲科雑草である"が導かれる
3. 推論1と事実19から、推論2: "この卵巣刺激法は発給する"が導かれる
4. 事実12と事実9から、推論3: "この卵巣刺激法は言い伝える"が導かれる
5. 推論2と推論3から、推論4: "この卵巣刺激法は発給するしその上言い伝える"が導かれる
6. 推論4と事実24から、推論5: "「この卵巣刺激法は影響しない」ということは真実だ"が導かれる
7. 推論5と事実11から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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