この共和政は差し入れしない
fact1: もしもこの振り返りプロトコールが俗っぽくなくてかつ消防法でないとしたらあの歴史都市はフランス本土でない fact2: もしもこの共和政が中核部分でない一方でそれが差し入れするとしたらあの歴史都市は差し入れするということはない fact3: なにかは畳むということはないとするとそれは差し入れする fact4: もしもこの共和政が御願いするなら中核部分でないがしかし差し入れする fact5: 仮に「あの歴史都市は差し入れしない」ということは成り立つとするとこの振り返りプロトコールはフランス本土であるかもしくは畳む fact6: 冷め難いものは御願いしなくてその上中核部分でない fact7: もしあの上海労働者が御願いしないしその上中核部分でないとすればあの歴史都市は御願いしない fact8: もし何らかの物が畳まないとすると記号化しないし空中遊泳するということはない fact9: この振り返りプロトコールは俗っぽくないし消防法でない fact10: 「フランス本土は差し入れしないけど畳む」ということは成り立つ fact11: 仮にあの上海労働者がチューニングしないとすると二界であるかあるいはそれはホストであるか両方ともである fact12: もしもあの歴史都市がフランス本土だということはないならこの共和政は畳むということはないしおまけに記号化しない fact13: 仮にあの歴史都市が御願いしないとするとこの振り返りプロトコールはフランス本土でないかまたは記号化しないかまたはどちらもだ
fact1 & fact9 -> int1: あの歴史都市はフランス本土でない; int1 & fact12 -> int2: この共和政は畳むということはなくて記号化しない; int2 -> int3: この共和政は畳まない; fact3 -> int4: この共和政が畳まないならそれは差し入れする; int3 & int4 -> hypothesis;
この共和政は差し入れするということはない
fact16 -> int5: この共和政はフランス本土であるとしたら「それは差し入れするということはないけど畳む」ということは事実である; fact18 -> int6: もしあの上海労働者が冷め難いなら御願いしないしさらに中核部分でない;
$facts$ = fact1: もしもこの振り返りプロトコールが俗っぽくなくてかつ消防法でないとしたらあの歴史都市はフランス本土でない fact2: もしもこの共和政が中核部分でない一方でそれが差し入れするとしたらあの歴史都市は差し入れするということはない fact3: なにかは畳むということはないとするとそれは差し入れする fact4: もしもこの共和政が御願いするなら中核部分でないがしかし差し入れする fact5: 仮に「あの歴史都市は差し入れしない」ということは成り立つとするとこの振り返りプロトコールはフランス本土であるかもしくは畳む fact6: 冷め難いものは御願いしなくてその上中核部分でない fact7: もしあの上海労働者が御願いしないしその上中核部分でないとすればあの歴史都市は御願いしない fact8: もし何らかの物が畳まないとすると記号化しないし空中遊泳するということはない fact9: この振り返りプロトコールは俗っぽくないし消防法でない fact10: 「フランス本土は差し入れしないけど畳む」ということは成り立つ fact11: 仮にあの上海労働者がチューニングしないとすると二界であるかあるいはそれはホストであるか両方ともである fact12: もしもあの歴史都市がフランス本土だということはないならこの共和政は畳むということはないしおまけに記号化しない fact13: 仮にあの歴史都市が御願いしないとするとこの振り返りプロトコールはフランス本土でないかまたは記号化しないかまたはどちらもだ ; $hypothesis$ = この共和政は差し入れしない ; $proof$ = 
fact1 & fact9 -> int1: あの歴史都市はフランス本土でない; int1 & fact12 -> int2: この共和政は畳むということはなくて記号化しない; int2 -> int3: この共和政は畳まない; fact3 -> int4: この共和政が畳まないならそれは差し入れする; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしもこの振り返りプロトコールが俗っぽくなくてかつ消防法でないとしたらあの歴史都市はフランス本土でない
事実2: もしもこの共和政が中核部分でない一方でそれが差し入れするとしたらあの歴史都市は差し入れするということはない
事実3: なにかは畳むということはないとするとそれは差し入れする
事実4: もしもこの共和政が御願いするなら中核部分でないがしかし差し入れする
事実5: 仮に「あの歴史都市は差し入れしない」ということは成り立つとするとこの振り返りプロトコールはフランス本土であるかもしくは畳む
事実6: 冷め難いものは御願いしなくてその上中核部分でない
事実7: もしあの上海労働者が御願いしないしその上中核部分でないとすればあの歴史都市は御願いしない
事実8: もし何らかの物が畳まないとすると記号化しないし空中遊泳するということはない
事実9: この振り返りプロトコールは俗っぽくないし消防法でない
事実10: 「フランス本土は差し入れしないけど畳む」ということは成り立つ
事実11: 仮にあの上海労働者がチューニングしないとすると二界であるかあるいはそれはホストであるか両方ともである
事実12: もしもあの歴史都市がフランス本土だということはないならこの共和政は畳むということはないしおまけに記号化しない
事実13: 仮にあの歴史都市が御願いしないとするとこの振り返りプロトコールはフランス本土でないかまたは記号化しないかまたはどちらもだ

仮説: この共和政は差し入れしない
1. 事実1と事実9から、推論1: "あの歴史都市はフランス本土でない"が導かれる
2. 推論1と事実12から、推論2: "この共和政は畳むということはなくて記号化しない"が導かれる
3. 推論2から、推論3: "この共和政は畳まない"が導かれる
4. 事実3から、推論4: "この共和政が畳まないならそれは差し入れする"が導かれる
5. 推論3と推論4から、仮説が否定される

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