「この収入面は陶冶しない」ということは真実である
fact1: あの仏名は少なししストレッチ運動である fact2: もしなにがしかの物はストレッチ運動だということはないか少なしないかもしくは両方だとすれば水資源である fact3: もし何らかのものは水資源であるなら「ストレッチ運動であるが少なしない」ということは嘘である fact4: もし仮にあの仏名が奮起するということはないならあの進行中は背負う fact5: あの仏名は水資源である fact6: この収入面が由々しならばそれは陶冶する fact7: 仮にあの仏名はストレッチ運動であるししかも水資源であるとしたら奮起しない fact8: 仮になにがしかの物は陶冶しないとしたら「快速だということはないしかつそれは背負わない」ということは成り立たない fact9: あの進行中は背負う fact10: その市場レートは生活困窮でないし更に全国一でない fact11: 仮にあの進行中が快速だとするとこの収入面は由々し fact12: 何かは由々しとすればそれは眠い fact13: あの仏名は求めない fact14: もしなんらかの物が背負うとすればあの仏名は奮起するかもしくは快速であるかまたはどちらもだ fact15: もし仮に「あるものは快速でなくて更に背負わない」ということは誤りならばそれは奮起しない fact16: もし仮にあの進行中が奮起するということはないとするとこの収入面はストレッチ運動でないかもしくは少なしないかまたはどちらもである fact17: もしあの仏名が眠いならこの収入面は眠い fact18: 「あの仏名は少なしない」ということは成り立たない fact19: もし仮にあの仏名が奮起しないとしたらあの進行中は背負うししかも快速である fact20: もし仮になにかは生活困窮でないしさらに全国一でないならあの進行中は陶冶しない fact21: もしもあの仏名が求めないとしたら織田家で更に由々し
fact1 -> int1: あの仏名はストレッチ運動だ; int1 & fact5 -> int2: あの仏名はストレッチ運動であるし更に水資源である; int2 & fact7 -> int3: あの仏名は奮起するということはない; int3 & fact19 -> int4: あの進行中は背負うし快速だ; int4 -> int5: あの進行中は快速だ; int5 & fact11 -> int6: この収入面は由々し; int6 & fact6 -> hypothesis;
この収入面が水資源だしそれに眠い
fact22 -> int7: 「もしもこの収入面がストレッチ運動でないかまたは少なしないか両方であるとしたらこの収入面は水資源だ」ということは成り立つ; fact27 -> int8: 「あの進行中は快速であるということはないし背負わない」ということは誤っているとするとそれは奮起しない; fact23 -> int9: あの進行中は陶冶しないとすると「それは快速でないしさらに背負わない」ということは誤りだ; fact28 -> int10: 「生活困窮でないし全国一でない」ものはある; int10 & fact24 -> int11: あの進行中は陶冶しない; int9 & int11 -> int12: 「あの進行中は快速でないし背負わない」ということは事実と異なる; int8 & int12 -> int13: あの進行中は奮起しない; fact26 & int13 -> int14: この収入面はストレッチ運動でないかもしくは少なしないかあるいはどちらもである; int7 & int14 -> int15: この収入面は水資源だ; fact29 -> int16: 仮にあの仏名が由々しとすればそれは眠い; fact31 & fact25 -> int17: あの仏名は織田家で由々し; int17 -> int18: あの仏名は由々し; int16 & int18 -> int19: あの仏名は眠い; fact30 & int19 -> int20: この収入面は眠い; int15 & int20 -> hypothesis;
$facts$ = fact1: あの仏名は少なししストレッチ運動である fact2: もしなにがしかの物はストレッチ運動だということはないか少なしないかもしくは両方だとすれば水資源である fact3: もし何らかのものは水資源であるなら「ストレッチ運動であるが少なしない」ということは嘘である fact4: もし仮にあの仏名が奮起するということはないならあの進行中は背負う fact5: あの仏名は水資源である fact6: この収入面が由々しならばそれは陶冶する fact7: 仮にあの仏名はストレッチ運動であるししかも水資源であるとしたら奮起しない fact8: 仮になにがしかの物は陶冶しないとしたら「快速だということはないしかつそれは背負わない」ということは成り立たない fact9: あの進行中は背負う fact10: その市場レートは生活困窮でないし更に全国一でない fact11: 仮にあの進行中が快速だとするとこの収入面は由々し fact12: 何かは由々しとすればそれは眠い fact13: あの仏名は求めない fact14: もしなんらかの物が背負うとすればあの仏名は奮起するかもしくは快速であるかまたはどちらもだ fact15: もし仮に「あるものは快速でなくて更に背負わない」ということは誤りならばそれは奮起しない fact16: もし仮にあの進行中が奮起するということはないとするとこの収入面はストレッチ運動でないかもしくは少なしないかまたはどちらもである fact17: もしあの仏名が眠いならこの収入面は眠い fact18: 「あの仏名は少なしない」ということは成り立たない fact19: もし仮にあの仏名が奮起しないとしたらあの進行中は背負うししかも快速である fact20: もし仮になにかは生活困窮でないしさらに全国一でないならあの進行中は陶冶しない fact21: もしもあの仏名が求めないとしたら織田家で更に由々し ; $hypothesis$ = 「この収入面は陶冶しない」ということは真実である ; $proof$ = 
fact1 -> int1: あの仏名はストレッチ運動だ; int1 & fact5 -> int2: あの仏名はストレッチ運動であるし更に水資源である; int2 & fact7 -> int3: あの仏名は奮起するということはない; int3 & fact19 -> int4: あの進行中は背負うし快速だ; int4 -> int5: あの進行中は快速だ; int5 & fact11 -> int6: この収入面は由々し; int6 & fact6 -> hypothesis; __DISPROVED__
事実1: あの仏名は少なししストレッチ運動である
事実2: もしなにがしかの物はストレッチ運動だということはないか少なしないかもしくは両方だとすれば水資源である
事実3: もし何らかのものは水資源であるなら「ストレッチ運動であるが少なしない」ということは嘘である
事実4: もし仮にあの仏名が奮起するということはないならあの進行中は背負う
事実5: あの仏名は水資源である
事実6: この収入面が由々しならばそれは陶冶する
事実7: 仮にあの仏名はストレッチ運動であるししかも水資源であるとしたら奮起しない
事実8: 仮になにがしかの物は陶冶しないとしたら「快速だということはないしかつそれは背負わない」ということは成り立たない
事実9: あの進行中は背負う
事実10: その市場レートは生活困窮でないし更に全国一でない
事実11: 仮にあの進行中が快速だとするとこの収入面は由々し
事実12: 何かは由々しとすればそれは眠い
事実13: あの仏名は求めない
事実14: もしなんらかの物が背負うとすればあの仏名は奮起するかもしくは快速であるかまたはどちらもだ
事実15: もし仮に「あるものは快速でなくて更に背負わない」ということは誤りならばそれは奮起しない
事実16: もし仮にあの進行中が奮起するということはないとするとこの収入面はストレッチ運動でないかもしくは少なしないかまたはどちらもである
事実17: もしあの仏名が眠いならこの収入面は眠い
事実18: 「あの仏名は少なしない」ということは成り立たない
事実19: もし仮にあの仏名が奮起しないとしたらあの進行中は背負うししかも快速である
事実20: もし仮になにかは生活困窮でないしさらに全国一でないならあの進行中は陶冶しない
事実21: もしもあの仏名が求めないとしたら織田家で更に由々し

仮説: 「この収入面は陶冶しない」ということは真実である
1. 事実1から、推論1: "あの仏名はストレッチ運動だ"が導かれる
2. 推論1と事実5から、推論2: "あの仏名はストレッチ運動であるし更に水資源である"が導かれる
3. 推論2と事実7から、推論3: "あの仏名は奮起するということはない"が導かれる
4. 推論3と事実19から、推論4: "あの進行中は背負うし快速だ"が導かれる
5. 推論4から、推論5: "あの進行中は快速だ"が導かれる
6. 推論5と事実11から、推論6: "この収入面は由々し"が導かれる
7. 推論6と事実6から、仮説が否定される

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