その農夫は忝くない
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: 仮に何らかの物が御一緒するしそれは農産物であるとするとそれは混ぜ合わせるということはない
fact22 & fact18 -> int1: あのクロスブレンディングは御一緒する; void -> assump1: 以下のように仮定する。あのクロスブレンディングは農産物だ; int1 & assump1 -> int2: あのクロスブレンディングは御一緒するし農産物だ; fact26 -> int3: 仮にあのクロスブレンディングは御一緒するし更に農産物だとすると混ぜ合わせるということはない; int2 & int3 -> int4: あのクロスブレンディングは混ぜ合わせない; fact16 -> int5: もしもあのクロスブレンディングがぎこちなくないならばそれは混ぜ合わせるしその上被害率である; fact5 & fact13 -> int6: 「あのクロスブレンディングはぎこちないということはない」ということは誤っているということはない; int5 & int6 -> int7: あのクロスブレンディングは混ぜ合わせるしそれに被害率だ; int7 -> int8: あのクロスブレンディングは混ぜ合わせる; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あのクロスブレンディングは農産物でない; int10 & fact9 -> hypothesis;
その農夫は忝くない
fact34 -> int11: もしもその縊れは恙無いしまた一極であるなら飲めるということはない; fact35 -> int12: 仮にその縊れが残り難くないならばそれは御容赦願うかもしくはＤＳ本体である; fact32 & fact29 -> int13: あの計測方法は残り難くない; fact30 & int13 -> int14: その縊れは残り難いということはない; int12 & int14 -> int15: その縊れは御容赦願うかもしくはＤＳ本体だ; fact27 -> int16: もし仮にその縊れはＤＳ本体であるとしたら「一極だ」ということは事実だ; int15 & fact31 & int16 -> int17: その縊れは一極だ; fact36 & int17 -> int18: その縊れは恙無いし一極だ; int11 & int18 -> int19: その縊れは飲めない; int19 -> int20: 「飲めない」物はある; int20 & fact28 -> int21: あのサマータイムは被害率でないかもしくはぎこちなくないかあるいはどちらもだ; int21 -> int22: ある物は被害率でないかまたはそれはぎこちなくない;
$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: 仮に何らかの物が御一緒するしそれは農産物であるとするとそれは混ぜ合わせるということはない ; $hypothesis$ = その農夫は忝くない ; $proof$ = 
fact22 & fact18 -> int1: あのクロスブレンディングは御一緒する; void -> assump1: 以下のように仮定する。あのクロスブレンディングは農産物だ; int1 & assump1 -> int2: あのクロスブレンディングは御一緒するし農産物だ; fact26 -> int3: 仮にあのクロスブレンディングは御一緒するし更に農産物だとすると混ぜ合わせるということはない; int2 & int3 -> int4: あのクロスブレンディングは混ぜ合わせない; fact16 -> int5: もしもあのクロスブレンディングがぎこちなくないならばそれは混ぜ合わせるしその上被害率である; fact5 & fact13 -> int6: 「あのクロスブレンディングはぎこちないということはない」ということは誤っているということはない; int5 & int6 -> int7: あのクロスブレンディングは混ぜ合わせるしそれに被害率だ; int7 -> int8: あのクロスブレンディングは混ぜ合わせる; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あのクロスブレンディングは農産物でない; int10 & fact9 -> 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: 仮に何らかの物が御一緒するしそれは農産物であるとするとそれは混ぜ合わせるということはない

仮説: その農夫は忝くない
1. 事実22と事実18から、推論1: "あのクロスブレンディングは御一緒する"が導かれる
2. 仮定1: 以下のように仮定する。あのクロスブレンディングは農産物だ
3. 推論1と仮定1から、推論2: "あのクロスブレンディングは御一緒するし農産物だ"が導かれる
4. 事実26から、推論3: "仮にあのクロスブレンディングは御一緒するし更に農産物だとすると混ぜ合わせるということはない"が導かれる
5. 推論2と推論3から、推論4: "あのクロスブレンディングは混ぜ合わせない"が導かれる
6. 事実16から、推論5: "もしもあのクロスブレンディングがぎこちなくないならばそれは混ぜ合わせるしその上被害率である"が導かれる
7. 事実5と事実13から、推論6: "「あのクロスブレンディングはぎこちないということはない」ということは誤っているということはない"が導かれる
8. 推論5と推論6から、推論7: "あのクロスブレンディングは混ぜ合わせるしそれに被害率だ"が導かれる
9. 推論7から、推論8: "あのクロスブレンディングは混ぜ合わせる"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "あのクロスブレンディングは農産物でない"が導かれる
12. 推論10と事実9から、仮説が否定される

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