このゲルタイムは提訴しない
fact1: もしもそのアジア全体は来難いとすると「このゲルタイムは提訴する」ということは成り立つ fact2: もしこのゲルタイムが進め易くないとすればそれは来難いがしかし提訴するということはない fact3: もしこの粉石鹸が進め易いということはないならその商業地域は削減でないしそれは来難いということはない fact4: 仮にあるものは眩惑するとしたら「それは多剤耐性結核対策でないしさらにそれは削減だ」ということは成り立たない fact5: もしも進め易い物は門戸であるなら眩惑しない fact6: もしもこの商業都市は眩惑しないとすれば「手関節であるけど消し止めない」ということは間違いである fact7: もしそのアジア全体が眩惑しないがしかしそれが削減ならば来難い fact8: もし仮に「そのアジア全体は眩惑しない一方でそれは提訴する」ということは誤っているとすればこのゲルタイムは提訴しない fact9: そのアジア全体が進め易いしその上それは門戸だ fact10: この他動運動は眩惑しない fact11: 仮にそのアジア全体は削減でないとしたら「それは多剤耐性結核対策であるがおもろいということはない」ということは間違っている fact12: 「そのアジア全体はおもろいということはない」ということは確かだ fact13: 仮にある物は住宅政策でないが門戸だとすると進め易くない fact14: もし仮にこの漢音は削減でないなら「そのアジア全体は眩惑しない一方で提訴する」ということは誤っている fact15: 「そのアジア全体は平均血圧であるけどそれは屍鬼でない」ということは本当だ fact16: そのアジア全体は多剤耐性結核対策である fact17: その商業地域が削減でないしおまけに来難くないならこの漢音は削減でない
void -> assump1: 以下のように仮定する。そのアジア全体は削減でない; fact11 & assump1 -> int1: 「そのアジア全体は多剤耐性結核対策だ一方でそれはおもろくない」ということは誤りだ; fact12 & fact16 -> int2: そのアジア全体は多剤耐性結核対策であるがしかしおもろいということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのアジア全体は削減だ; fact5 -> int5: 仮にそのアジア全体が進め易いしその上門戸であるとすればそれは眩惑しない; int5 & fact9 -> int6: 「そのアジア全体は眩惑しない」ということは真実だ; int4 & int6 -> int7: そのアジア全体は眩惑しない一方で削減だ; int7 & fact7 -> int8: そのアジア全体は来難い; int8 & fact1 -> hypothesis;
「このゲルタイムは提訴しない」ということは本当である
fact22 -> int9: もしもこの粉石鹸が住宅政策でないけれどそれは門戸であるとするとそれは進め易くない;
$facts$ = fact1: もしもそのアジア全体は来難いとすると「このゲルタイムは提訴する」ということは成り立つ fact2: もしこのゲルタイムが進め易くないとすればそれは来難いがしかし提訴するということはない fact3: もしこの粉石鹸が進め易いということはないならその商業地域は削減でないしそれは来難いということはない fact4: 仮にあるものは眩惑するとしたら「それは多剤耐性結核対策でないしさらにそれは削減だ」ということは成り立たない fact5: もしも進め易い物は門戸であるなら眩惑しない fact6: もしもこの商業都市は眩惑しないとすれば「手関節であるけど消し止めない」ということは間違いである fact7: もしそのアジア全体が眩惑しないがしかしそれが削減ならば来難い fact8: もし仮に「そのアジア全体は眩惑しない一方でそれは提訴する」ということは誤っているとすればこのゲルタイムは提訴しない fact9: そのアジア全体が進め易いしその上それは門戸だ fact10: この他動運動は眩惑しない fact11: 仮にそのアジア全体は削減でないとしたら「それは多剤耐性結核対策であるがおもろいということはない」ということは間違っている fact12: 「そのアジア全体はおもろいということはない」ということは確かだ fact13: 仮にある物は住宅政策でないが門戸だとすると進め易くない fact14: もし仮にこの漢音は削減でないなら「そのアジア全体は眩惑しない一方で提訴する」ということは誤っている fact15: 「そのアジア全体は平均血圧であるけどそれは屍鬼でない」ということは本当だ fact16: そのアジア全体は多剤耐性結核対策である fact17: その商業地域が削減でないしおまけに来難くないならこの漢音は削減でない ; $hypothesis$ = このゲルタイムは提訴しない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのアジア全体は削減でない; fact11 & assump1 -> int1: 「そのアジア全体は多剤耐性結核対策だ一方でそれはおもろくない」ということは誤りだ; fact12 & fact16 -> int2: そのアジア全体は多剤耐性結核対策であるがしかしおもろいということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのアジア全体は削減だ; fact5 -> int5: 仮にそのアジア全体が進め易いしその上門戸であるとすればそれは眩惑しない; int5 & fact9 -> int6: 「そのアジア全体は眩惑しない」ということは真実だ; int4 & int6 -> int7: そのアジア全体は眩惑しない一方で削減だ; int7 & fact7 -> int8: そのアジア全体は来難い; int8 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもそのアジア全体は来難いとすると「このゲルタイムは提訴する」ということは成り立つ
事実2: もしこのゲルタイムが進め易くないとすればそれは来難いがしかし提訴するということはない
事実3: もしこの粉石鹸が進め易いということはないならその商業地域は削減でないしそれは来難いということはない
事実4: 仮にあるものは眩惑するとしたら「それは多剤耐性結核対策でないしさらにそれは削減だ」ということは成り立たない
事実5: もしも進め易い物は門戸であるなら眩惑しない
事実6: もしもこの商業都市は眩惑しないとすれば「手関節であるけど消し止めない」ということは間違いである
事実7: もしそのアジア全体が眩惑しないがしかしそれが削減ならば来難い
事実8: もし仮に「そのアジア全体は眩惑しない一方でそれは提訴する」ということは誤っているとすればこのゲルタイムは提訴しない
事実9: そのアジア全体が進め易いしその上それは門戸だ
事実10: この他動運動は眩惑しない
事実11: 仮にそのアジア全体は削減でないとしたら「それは多剤耐性結核対策であるがおもろいということはない」ということは間違っている
事実12: 「そのアジア全体はおもろいということはない」ということは確かだ
事実13: 仮にある物は住宅政策でないが門戸だとすると進め易くない
事実14: もし仮にこの漢音は削減でないなら「そのアジア全体は眩惑しない一方で提訴する」ということは誤っている
事実15: 「そのアジア全体は平均血圧であるけどそれは屍鬼でない」ということは本当だ
事実16: そのアジア全体は多剤耐性結核対策である
事実17: その商業地域が削減でないしおまけに来難くないならこの漢音は削減でない

仮説: このゲルタイムは提訴しない
1. 仮定1: 以下のように仮定する。そのアジア全体は削減でない
2. 事実11と仮定1から、推論1: "「そのアジア全体は多剤耐性結核対策だ一方でそれはおもろくない」ということは誤りだ"が導かれる
3. 事実12と事実16から、推論2: "そのアジア全体は多剤耐性結核対策であるがしかしおもろいということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのアジア全体は削減だ"が導かれる
6. 事実5から、推論5: "仮にそのアジア全体が進め易いしその上門戸であるとすればそれは眩惑しない"が導かれる
7. 推論5と事実9から、推論6: "「そのアジア全体は眩惑しない」ということは真実だ"が導かれる
8. 推論4と推論6から、推論7: "そのアジア全体は眩惑しない一方で削減だ"が導かれる
9. 推論7と事実7から、推論8: "そのアジア全体は来難い"が導かれる
10. 推論8と事実1から、仮説が否定される

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