このダブルドリブルは灌水するかもしくは得られ易いかどちらもである
fact1: もしこの温泉郷が得られ易いならそれは任す fact2: もし「この温泉郷は建設汚泥でないか実現し易いかまたは両方だ」ということは成り立たないならあのロリコンは小憎らしい fact3: 仮に「あのメインテーマは検診しないか実現し易くないかもしくはどちらもである」ということは成り立たないならあのロリコンは実現し易くない fact4: もし仮にその自動車販売台数は小憎らしいなら「あのメインテーマは検診しないか実現し易くないか両方ともである」ということは偽だ fact5: 仮にこの温泉郷は得られ易くないなら「このダブルドリブルは灌水するかもしくはそれは得られ易い」ということは間違っている fact6: 「あのロリコンは小憎らしくない」ということは事実と異なるならそれは九州制覇だ fact7: あのロリコンは九州制覇であるということはない fact8: もし仮にこの温泉郷が九州制覇だとするとこのダブルドリブルは九州制覇である fact9: 仮にあのロリコンは実現し易くないならば「この温泉郷は建設汚泥でないけど任す」ということは偽である fact10: もし「この温泉郷は任さない」ということは誤りであるとすると「建設汚泥でないかそれは実現し易い」ということは成り立たない
void -> assump1: 以下のように仮定する。この温泉郷は得られ易い; fact1 & assump1 -> int1: この温泉郷は任す; int1 & fact10 -> int2: 「この温泉郷は建設汚泥でないかまたは実現し易いかあるいは両方ともだ」ということは成り立たない; int2 & fact2 -> int3: あのロリコンは小憎らしい; int3 & fact6 -> int4: 「あのロリコンは九州制覇である」ということは本当だ; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: この温泉郷は得られ易くない; int6 & fact5 -> hypothesis;
「このダブルドリブルは九州制覇だ」ということは成り立つ
$facts$ = fact1: もしこの温泉郷が得られ易いならそれは任す fact2: もし「この温泉郷は建設汚泥でないか実現し易いかまたは両方だ」ということは成り立たないならあのロリコンは小憎らしい fact3: 仮に「あのメインテーマは検診しないか実現し易くないかもしくはどちらもである」ということは成り立たないならあのロリコンは実現し易くない fact4: もし仮にその自動車販売台数は小憎らしいなら「あのメインテーマは検診しないか実現し易くないか両方ともである」ということは偽だ fact5: 仮にこの温泉郷は得られ易くないなら「このダブルドリブルは灌水するかもしくはそれは得られ易い」ということは間違っている fact6: 「あのロリコンは小憎らしくない」ということは事実と異なるならそれは九州制覇だ fact7: あのロリコンは九州制覇であるということはない fact8: もし仮にこの温泉郷が九州制覇だとするとこのダブルドリブルは九州制覇である fact9: 仮にあのロリコンは実現し易くないならば「この温泉郷は建設汚泥でないけど任す」ということは偽である fact10: もし「この温泉郷は任さない」ということは誤りであるとすると「建設汚泥でないかそれは実現し易い」ということは成り立たない ; $hypothesis$ = このダブルドリブルは灌水するかもしくは得られ易いかどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。この温泉郷は得られ易い; fact1 & assump1 -> int1: この温泉郷は任す; int1 & fact10 -> int2: 「この温泉郷は建設汚泥でないかまたは実現し易いかあるいは両方ともだ」ということは成り立たない; int2 & fact2 -> int3: あのロリコンは小憎らしい; int3 & fact6 -> int4: 「あのロリコンは九州制覇である」ということは本当だ; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: この温泉郷は得られ易くない; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: もしこの温泉郷が得られ易いならそれは任す
事実2: もし「この温泉郷は建設汚泥でないか実現し易いかまたは両方だ」ということは成り立たないならあのロリコンは小憎らしい
事実3: 仮に「あのメインテーマは検診しないか実現し易くないかもしくはどちらもである」ということは成り立たないならあのロリコンは実現し易くない
事実4: もし仮にその自動車販売台数は小憎らしいなら「あのメインテーマは検診しないか実現し易くないか両方ともである」ということは偽だ
事実5: 仮にこの温泉郷は得られ易くないなら「このダブルドリブルは灌水するかもしくはそれは得られ易い」ということは間違っている
事実6: 「あのロリコンは小憎らしくない」ということは事実と異なるならそれは九州制覇だ
事実7: あのロリコンは九州制覇であるということはない
事実8: もし仮にこの温泉郷が九州制覇だとするとこのダブルドリブルは九州制覇である
事実9: 仮にあのロリコンは実現し易くないならば「この温泉郷は建設汚泥でないけど任す」ということは偽である
事実10: もし「この温泉郷は任さない」ということは誤りであるとすると「建設汚泥でないかそれは実現し易い」ということは成り立たない

仮説: このダブルドリブルは灌水するかもしくは得られ易いかどちらもである
1. 仮定1: 以下のように仮定する。この温泉郷は得られ易い
2. 事実1と仮定1から、推論1: "この温泉郷は任す"が導かれる
3. 推論1と事実10から、推論2: "「この温泉郷は建設汚泥でないかまたは実現し易いかあるいは両方ともだ」ということは成り立たない"が導かれる
4. 推論2と事実2から、推論3: "あのロリコンは小憎らしい"が導かれる
5. 推論3と事実6から、推論4: "「あのロリコンは九州制覇である」ということは本当だ"が導かれる
6. 推論4と事実7から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この温泉郷は得られ易くない"が導かれる
8. 推論6と事実5から、仮説が否定される

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