「「その相克は木目細かいし流域内だ」ということは成り立つということはない」ということは嘘でない
fact1: 「あの昭は引退試合しないがしかしそれは剥奪する」ということは偽だ fact2: あの昭が引退試合しないがそれが剥奪するなら貫通すらない fact3: 仮に何かは保管するかまたはハートフィールド展だとすればそれは助け合わない fact4: このカルニチンが細らないならばこのジャーキーは太り過ぎない fact5: もし仮にこの機能解析が助け合うということはないならばその相克は流域内だ fact6: この間取り図が現実離れするかそれがプラネットでないとするとこのカルニチンは細るということはない fact7: 「もしあの昭が流域内だとすればこの機能解析は剥奪する」ということは確かである fact8: もしも何らかの物は太り過ぎるということはないならば「それは黙認であるし加えて吉岡流である」ということは成り立たない fact9: もしもあの昭は引退試合しなくて剥奪しないなら「それは貫通すということはない」ということは正しい fact10: もし仮に「あの監督達はでっかくないしそれは纏めない」ということは間違っているとしたらこの間取り図は纏める fact11: あの昭が助け合うとすればそれは下山する fact12: 「あの昭は引退試合するがしかし剥奪しない」ということは誤っている fact13: もし仮に「あの昭は引退試合しないしかつ剥奪しない」ということは成り立たないなら下山する fact14: 仮にあの昭が下山するならその相克は木目細かい fact15: もし仮にこのジャーキーがピットでないとしたらあの飲酒量は保管するかあるいはハートフィールド展である fact16: 「あの監督達はでっかくなくておまけに纏めない」ということは嘘である fact17: この機能解析は下山しない fact18: 「このジャーキーは黙認でそれに吉岡流だ」ということは真実でないならばそれはピットだということはない fact19: 「もしあの飲酒量が助け合わないならばこの機能解析は下山するかまたはそれは貫通すらないかあるいはどちらもだ」ということは正しい fact20: あの昭は貫通す fact21: 「「この機能解析は流域内でない一方で助け合う」ということは間違いである」ということは成り立つとすればその相克は流域内である fact22: 「この機能解析は流域内でないけど助け合う」ということは成り立たない fact23: 仮に「この間取り図は纏める」ということは成り立てば現実離れするかまたはプラネットでない
void -> assump1: 以下のように仮定する。あの昭は引退試合しないし剥奪しない; fact9 & assump1 -> int1: あの昭は貫通すらない; int1 & fact20 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの昭は引退試合するということはなくて剥奪しない」ということは間違いだ; int3 & fact13 -> int4: あの昭は下山する; int4 & fact14 -> int5: その相克は木目細かい; fact22 & fact21 -> int6: その相克は流域内である; int5 & int6 -> hypothesis;
「その相克は木目細かくてかつ流域内である」ということは偽である
fact29 -> int7: もしもあの飲酒量が保管するかあるいはそれはハートフィールド展であるか両方ならば「助け合わない」ということは確かだ; fact30 -> int8: もしもこのジャーキーは太り過ぎるということはないとすると「それは黙認だし吉岡流だ」ということは間違っている; fact33 & fact32 -> int9: この間取り図は纏める; fact25 & int9 -> int10: この間取り図は現実離れするかもしくはプラネットでないかどちらもだ; fact27 & int10 -> int11: このカルニチンは細らない; fact24 & int11 -> int12: このジャーキーは太り過ぎるということはない; int8 & int12 -> int13: 「このジャーキーは黙認だし吉岡流である」ということは成り立たない; fact31 & int13 -> int14: このジャーキーはピットでない; fact28 & int14 -> int15: あの飲酒量は保管するかハートフィールド展であるかあるいは両方である; int7 & int15 -> int16: あの飲酒量は助け合うということはない; fact26 & int16 -> int17: この機能解析は下山するかもしくは貫通すらないか両方だ; int17 -> int18: なにがしかのものは下山するかまたは貫通すらないかあるいはどちらもである;
$facts$ = fact1: 「あの昭は引退試合しないがしかしそれは剥奪する」ということは偽だ fact2: あの昭が引退試合しないがそれが剥奪するなら貫通すらない fact3: 仮に何かは保管するかまたはハートフィールド展だとすればそれは助け合わない fact4: このカルニチンが細らないならばこのジャーキーは太り過ぎない fact5: もし仮にこの機能解析が助け合うということはないならばその相克は流域内だ fact6: この間取り図が現実離れするかそれがプラネットでないとするとこのカルニチンは細るということはない fact7: 「もしあの昭が流域内だとすればこの機能解析は剥奪する」ということは確かである fact8: もしも何らかの物は太り過ぎるということはないならば「それは黙認であるし加えて吉岡流である」ということは成り立たない fact9: もしもあの昭は引退試合しなくて剥奪しないなら「それは貫通すということはない」ということは正しい fact10: もし仮に「あの監督達はでっかくないしそれは纏めない」ということは間違っているとしたらこの間取り図は纏める fact11: あの昭が助け合うとすればそれは下山する fact12: 「あの昭は引退試合するがしかし剥奪しない」ということは誤っている fact13: もし仮に「あの昭は引退試合しないしかつ剥奪しない」ということは成り立たないなら下山する fact14: 仮にあの昭が下山するならその相克は木目細かい fact15: もし仮にこのジャーキーがピットでないとしたらあの飲酒量は保管するかあるいはハートフィールド展である fact16: 「あの監督達はでっかくなくておまけに纏めない」ということは嘘である fact17: この機能解析は下山しない fact18: 「このジャーキーは黙認でそれに吉岡流だ」ということは真実でないならばそれはピットだということはない fact19: 「もしあの飲酒量が助け合わないならばこの機能解析は下山するかまたはそれは貫通すらないかあるいはどちらもだ」ということは正しい fact20: あの昭は貫通す fact21: 「「この機能解析は流域内でない一方で助け合う」ということは間違いである」ということは成り立つとすればその相克は流域内である fact22: 「この機能解析は流域内でないけど助け合う」ということは成り立たない fact23: 仮に「この間取り図は纏める」ということは成り立てば現実離れするかまたはプラネットでない ; $hypothesis$ = 「「その相克は木目細かいし流域内だ」ということは成り立つということはない」ということは嘘でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの昭は引退試合しないし剥奪しない; fact9 & assump1 -> int1: あの昭は貫通すらない; int1 & fact20 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの昭は引退試合するということはなくて剥奪しない」ということは間違いだ; int3 & fact13 -> int4: あの昭は下山する; int4 & fact14 -> int5: その相克は木目細かい; fact22 & fact21 -> int6: その相克は流域内である; int5 & 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: 仮に「この間取り図は纏める」ということは成り立てば現実離れするかまたはプラネットでない

仮説: 「「その相克は木目細かいし流域内だ」ということは成り立つということはない」ということは嘘でない
1. 仮定1: 以下のように仮定する。あの昭は引退試合しないし剥奪しない
2. 事実9と仮定1から、推論1: "あの昭は貫通すらない"が導かれる
3. 推論1と事実20から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの昭は引退試合するということはなくて剥奪しない」ということは間違いだ"が導かれる
5. 推論3と事実13から、推論4: "あの昭は下山する"が導かれる
6. 推論4と事実14から、推論5: "その相克は木目細かい"が導かれる
7. 事実22と事実21から、推論6: "その相克は流域内である"が導かれる
8. 推論5と推論6から、仮説が否定される

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