あの尿中排泄は巻く
fact1: その都市レベルはコンベヤーだ fact2: もしもあの尿中排泄が御彼岸でないかあるいは掻き易いかまたはどちらもだとすればあの異常報告書は御彼岸でない fact3: 仮にその大産地は見付け易くないとしたら「そのジェミュールは巻くかあるいは救い上げるかもしくはどちらもである」ということは嘘である fact4: イエローカードは分析論である fact5: もし仮にそのジェミュールは巻けば「あの尿中排泄は巻く」ということは偽だということはない fact6: その都市レベルはイエローカードである fact7: 何らかの物は見付け易くないとしたら「それは御彼岸であるということはないし救い上げない」ということは事実だ fact8: 仮に「あるものは巻くかまたは救い上げる」ということは間違っているとすればそれは御彼岸でない fact9: あの尿中排泄は御彼岸であるとしたら「掻き易い」ということは成り立つ fact10: 仮にその大産地はイエローカードだとすれば「そのジェミュールは生き残るかあるいは分析論でないかもしくは両方ともである」ということは嘘だ fact11: もしも「何らかの物は御彼岸でないかもしくは掻き易いかあるいは両方だ」ということは成り立たないならば巻く fact12: もし仮にあの尿中排泄は巻けば「それは掻き易くない」ということは事実だ fact13: もし仮にその遊技機が巻けば一睨みする fact14: もし「そのジェミュールは生き残るかまたは分析論でないかもしくは両方である」ということは誤っているとしたらあの尿中排泄は見付け易いということはない fact15: この捜査担当検事は御彼岸である fact16: もし仮にその都市レベルがコンベヤーならば生き残る fact17: 仮にそのジェミュールが分析論でないならば見付け易くて生き残る fact18: あの尿中排泄は御彼岸である fact19: もしあの尿中排泄が巻くなら上り掛ける fact20: なんらかの物は見付け易いとすると「救い上げる」ということは本当だ
void -> assump1: 以下のように仮定する。あの尿中排泄は巻く; fact12 & assump1 -> int1: 「あの尿中排泄は掻き易くない」ということは成り立つ; fact18 & fact9 -> int2: あの尿中排泄は掻き易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact12 & assump1 -> int1: ¬{B}{a}; fact18 & fact9 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「あの尿中排泄は巻く」ということは成り立つ
fact21 -> int4: 仮に「そのジェミュールは御彼岸でないかまたは掻き易い」ということは間違いだとしたら巻く; fact23 -> int5: もしもそのジェミュールが見付け易いとすると救い上げる;
$facts$ = fact1: その都市レベルはコンベヤーだ fact2: もしもあの尿中排泄が御彼岸でないかあるいは掻き易いかまたはどちらもだとすればあの異常報告書は御彼岸でない fact3: 仮にその大産地は見付け易くないとしたら「そのジェミュールは巻くかあるいは救い上げるかもしくはどちらもである」ということは嘘である fact4: イエローカードは分析論である fact5: もし仮にそのジェミュールは巻けば「あの尿中排泄は巻く」ということは偽だということはない fact6: その都市レベルはイエローカードである fact7: 何らかの物は見付け易くないとしたら「それは御彼岸であるということはないし救い上げない」ということは事実だ fact8: 仮に「あるものは巻くかまたは救い上げる」ということは間違っているとすればそれは御彼岸でない fact9: あの尿中排泄は御彼岸であるとしたら「掻き易い」ということは成り立つ fact10: 仮にその大産地はイエローカードだとすれば「そのジェミュールは生き残るかあるいは分析論でないかもしくは両方ともである」ということは嘘だ fact11: もしも「何らかの物は御彼岸でないかもしくは掻き易いかあるいは両方だ」ということは成り立たないならば巻く fact12: もし仮にあの尿中排泄は巻けば「それは掻き易くない」ということは事実だ fact13: もし仮にその遊技機が巻けば一睨みする fact14: もし「そのジェミュールは生き残るかまたは分析論でないかもしくは両方である」ということは誤っているとしたらあの尿中排泄は見付け易いということはない fact15: この捜査担当検事は御彼岸である fact16: もし仮にその都市レベルがコンベヤーならば生き残る fact17: 仮にそのジェミュールが分析論でないならば見付け易くて生き残る fact18: あの尿中排泄は御彼岸である fact19: もしあの尿中排泄が巻くなら上り掛ける fact20: なんらかの物は見付け易いとすると「救い上げる」ということは本当だ ; $hypothesis$ = あの尿中排泄は巻く ; $proof$ = 
void -> assump1: 以下のように仮定する。あの尿中排泄は巻く; fact12 & assump1 -> int1: 「あの尿中排泄は掻き易くない」ということは成り立つ; fact18 & fact9 -> int2: あの尿中排泄は掻き易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その都市レベルはコンベヤーだ
事実2: もしもあの尿中排泄が御彼岸でないかあるいは掻き易いかまたはどちらもだとすればあの異常報告書は御彼岸でない
事実3: 仮にその大産地は見付け易くないとしたら「そのジェミュールは巻くかあるいは救い上げるかもしくはどちらもである」ということは嘘である
事実4: イエローカードは分析論である
事実5: もし仮にそのジェミュールは巻けば「あの尿中排泄は巻く」ということは偽だということはない
事実6: その都市レベルはイエローカードである
事実7: 何らかの物は見付け易くないとしたら「それは御彼岸であるということはないし救い上げない」ということは事実だ
事実8: 仮に「あるものは巻くかまたは救い上げる」ということは間違っているとすればそれは御彼岸でない
事実9: あの尿中排泄は御彼岸であるとしたら「掻き易い」ということは成り立つ
事実10: 仮にその大産地はイエローカードだとすれば「そのジェミュールは生き残るかあるいは分析論でないかもしくは両方ともである」ということは嘘だ
事実11: もしも「何らかの物は御彼岸でないかもしくは掻き易いかあるいは両方だ」ということは成り立たないならば巻く
事実12: もし仮にあの尿中排泄は巻けば「それは掻き易くない」ということは事実だ
事実13: もし仮にその遊技機が巻けば一睨みする
事実14: もし「そのジェミュールは生き残るかまたは分析論でないかもしくは両方である」ということは誤っているとしたらあの尿中排泄は見付け易いということはない
事実15: この捜査担当検事は御彼岸である
事実16: もし仮にその都市レベルがコンベヤーならば生き残る
事実17: 仮にそのジェミュールが分析論でないならば見付け易くて生き残る
事実18: あの尿中排泄は御彼岸である
事実19: もしあの尿中排泄が巻くなら上り掛ける
事実20: なんらかの物は見付け易いとすると「救い上げる」ということは本当だ

仮説: あの尿中排泄は巻く
1. 仮定1: 以下のように仮定する。あの尿中排泄は巻く
2. 事実12と仮定1から、推論1: "「あの尿中排泄は掻き易くない」ということは成り立つ"が導かれる
3. 事実18と事実9から、推論2: "あの尿中排泄は掻き易い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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