「あの唐古・鍵遺跡は貶める」ということは本当だ
fact1: あのカルバマゼピン血中濃度は手押しである fact2: あのカルバマゼピン血中濃度が後ろめたいしまた引き起こし兼ねるとすればあの空間統合は泥酔しない fact3: とあるものが手押しでないかもしくは回し入れるかまたは両方だとすればそれは泥酔しない fact4: あのカルバマゼピン血中濃度は後ろめたい fact5: 仮にこの待ち方が疑い深いかあるいはそれが抽象的危険犯であるということはないかあるいは両方ともならばその空間統合は痛み易くない fact6: あのＦＩＳＨは手押しである fact7: なんらかの物は回し入れるしさらに手押しだとすると貶めるということはない fact8: もし仮に何らかの物が泥酔しないとすると回し入れるけれど手押しでない fact9: なんらかの物が回し入れるがそれは手押しでないとしたら「貶めない」ということは確かである fact10: あのカルバマゼピン血中濃度は引き起こし兼ねる fact11: 痛み易くないものはゲリラ組織であるけれど入館料であるということはない fact12: あの唐古・鍵遺跡は手押しである fact13: 仮にあのカルバマゼピン血中濃度は貶めるしそれに回し入れるとすれば「その空間統合は手押しでない」ということは成り立つ fact14: 仮にあのカルバマゼピン血中濃度が泥酔しないとするとあの唐古・鍵遺跡は後ろめたくないけどそれは引き起こし兼ねる fact15: もしその空間統合がゲリラ組織だがしかし入館料でないとすればあのカルバマゼピン血中濃度は回し入れる fact16: もし仮になんらかの物は後ろめたくないがしかし引き起こし兼ねるならそれは貶める fact17: もし「その空間統合は泥酔しない」ということは成り立つなら「それは手押しだということはない」ということは本当だ fact18: もしその空間統合が貶めないとしたらあの唐古・鍵遺跡は貶めない一方で入館料だ
fact4 & fact10 -> int1: あのカルバマゼピン血中濃度は後ろめたくておまけに引き起こし兼ねる; int1 & fact2 -> int2: その空間統合は泥酔しない; fact8 -> int3: もし仮にその空間統合が泥酔するということはないとしたらそれは回し入れる一方で手押しであるということはない; int2 & int3 -> int4: その空間統合は回し入れるがしかしそれは手押しでない; fact9 -> int5: その空間統合が回し入れる一方でそれは手押しでないとしたらそれは貶めない; int4 & int5 -> int6: その空間統合は貶めない; int6 & fact18 -> int7: あの唐古・鍵遺跡は貶めないけどそれは入館料である; int7 -> hypothesis;
あの唐古・鍵遺跡は貶める
fact23 -> int8: 仮にあの唐古・鍵遺跡は後ろめたくない一方で引き起こし兼ねれば「貶める」ということは成り立つ; fact19 -> int9: あのカルバマゼピン血中濃度は手押しでないか回し入れるかまたはどちらもならばそれは泥酔しない; fact22 -> int10: もし仮にその空間統合が痛み易くないならそれがゲリラ組織だしそれは入館料でない;
$facts$ = fact1: あのカルバマゼピン血中濃度は手押しである fact2: あのカルバマゼピン血中濃度が後ろめたいしまた引き起こし兼ねるとすればあの空間統合は泥酔しない fact3: とあるものが手押しでないかもしくは回し入れるかまたは両方だとすればそれは泥酔しない fact4: あのカルバマゼピン血中濃度は後ろめたい fact5: 仮にこの待ち方が疑い深いかあるいはそれが抽象的危険犯であるということはないかあるいは両方ともならばその空間統合は痛み易くない fact6: あのＦＩＳＨは手押しである fact7: なんらかの物は回し入れるしさらに手押しだとすると貶めるということはない fact8: もし仮に何らかの物が泥酔しないとすると回し入れるけれど手押しでない fact9: なんらかの物が回し入れるがそれは手押しでないとしたら「貶めない」ということは確かである fact10: あのカルバマゼピン血中濃度は引き起こし兼ねる fact11: 痛み易くないものはゲリラ組織であるけれど入館料であるということはない fact12: あの唐古・鍵遺跡は手押しである fact13: 仮にあのカルバマゼピン血中濃度は貶めるしそれに回し入れるとすれば「その空間統合は手押しでない」ということは成り立つ fact14: 仮にあのカルバマゼピン血中濃度が泥酔しないとするとあの唐古・鍵遺跡は後ろめたくないけどそれは引き起こし兼ねる fact15: もしその空間統合がゲリラ組織だがしかし入館料でないとすればあのカルバマゼピン血中濃度は回し入れる fact16: もし仮になんらかの物は後ろめたくないがしかし引き起こし兼ねるならそれは貶める fact17: もし「その空間統合は泥酔しない」ということは成り立つなら「それは手押しだということはない」ということは本当だ fact18: もしその空間統合が貶めないとしたらあの唐古・鍵遺跡は貶めない一方で入館料だ ; $hypothesis$ = 「あの唐古・鍵遺跡は貶める」ということは本当だ ; $proof$ = 
fact4 & fact10 -> int1: あのカルバマゼピン血中濃度は後ろめたくておまけに引き起こし兼ねる; int1 & fact2 -> int2: その空間統合は泥酔しない; fact8 -> int3: もし仮にその空間統合が泥酔するということはないとしたらそれは回し入れる一方で手押しであるということはない; int2 & int3 -> int4: その空間統合は回し入れるがしかしそれは手押しでない; fact9 -> int5: その空間統合が回し入れる一方でそれは手押しでないとしたらそれは貶めない; int4 & int5 -> int6: その空間統合は貶めない; int6 & fact18 -> int7: あの唐古・鍵遺跡は貶めないけどそれは入館料である; int7 -> hypothesis; __DISPROVED__
事実1: あのカルバマゼピン血中濃度は手押しである
事実2: あのカルバマゼピン血中濃度が後ろめたいしまた引き起こし兼ねるとすればあの空間統合は泥酔しない
事実3: とあるものが手押しでないかもしくは回し入れるかまたは両方だとすればそれは泥酔しない
事実4: あのカルバマゼピン血中濃度は後ろめたい
事実5: 仮にこの待ち方が疑い深いかあるいはそれが抽象的危険犯であるということはないかあるいは両方ともならばその空間統合は痛み易くない
事実6: あのＦＩＳＨは手押しである
事実7: なんらかの物は回し入れるしさらに手押しだとすると貶めるということはない
事実8: もし仮に何らかの物が泥酔しないとすると回し入れるけれど手押しでない
事実9: なんらかの物が回し入れるがそれは手押しでないとしたら「貶めない」ということは確かである
事実10: あのカルバマゼピン血中濃度は引き起こし兼ねる
事実11: 痛み易くないものはゲリラ組織であるけれど入館料であるということはない
事実12: あの唐古・鍵遺跡は手押しである
事実13: 仮にあのカルバマゼピン血中濃度は貶めるしそれに回し入れるとすれば「その空間統合は手押しでない」ということは成り立つ
事実14: 仮にあのカルバマゼピン血中濃度が泥酔しないとするとあの唐古・鍵遺跡は後ろめたくないけどそれは引き起こし兼ねる
事実15: もしその空間統合がゲリラ組織だがしかし入館料でないとすればあのカルバマゼピン血中濃度は回し入れる
事実16: もし仮になんらかの物は後ろめたくないがしかし引き起こし兼ねるならそれは貶める
事実17: もし「その空間統合は泥酔しない」ということは成り立つなら「それは手押しだということはない」ということは本当だ
事実18: もしその空間統合が貶めないとしたらあの唐古・鍵遺跡は貶めない一方で入館料だ

仮説: 「あの唐古・鍵遺跡は貶める」ということは本当だ
1. 事実4と事実10から、推論1: "あのカルバマゼピン血中濃度は後ろめたくておまけに引き起こし兼ねる"が導かれる
2. 推論1と事実2から、推論2: "その空間統合は泥酔しない"が導かれる
3. 事実8から、推論3: "もし仮にその空間統合が泥酔するということはないとしたらそれは回し入れる一方で手押しであるということはない"が導かれる
4. 推論2と推論3から、推論4: "その空間統合は回し入れるがしかしそれは手押しでない"が導かれる
5. 事実9から、推論5: "その空間統合が回し入れる一方でそれは手押しでないとしたらそれは貶めない"が導かれる
6. 推論4と推論5から、推論6: "その空間統合は貶めない"が導かれる
7. 推論6と事実18から、推論7: "あの唐古・鍵遺跡は貶めないけどそれは入館料である"が導かれる
8. 推論7から、仮説が否定される

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