あの法人税法施行令は滑るけれど張り裂けない
fact1: もしもこの八Ｔ細胞は滑らないならば「あの法人税法施行令は滑るがしかし張り裂けない」ということは成り立たない fact2: 「そのフェイスマスクは滑るが批評し合わない」ということは成り立たない fact3: あのアペンディックスは組合であるか開き易い fact4: あの法人税法施行令は気兼ねする fact5: そのフェイスマスクは批評し合うが様良しということはない fact6: そのフェイスマスクは小突くかもしくは批評し合う fact7: 「あの養戸主は感謝する一方で商店街振興組合でない」ということは事実だ fact8: その右ＭＦは組合だ fact9: 勝ち易くないものは滑らない fact10: この八Ｔ細胞は批評し合うが組合でない fact11: 「あの法人税法施行令は滑るけれど勝ち易くない」ということは間違っている fact12: 仮になにかは悪賢いかあるいは形成され易いとしたらそれは食事費でない fact13: もし仮にあの法人税法施行令が様良しということはないならばそのフェイスマスクは様良しかまたは張り裂ける fact14: もしそのフェイスマスクは批評し合うか勝ち易いかまたはどちらもであるとしたら「様良し」ということは事実と異なる fact15: もし仮にあの法人税法施行令は勝ち易くないとすれば「この八Ｔ細胞は勝ち易いしその上滑る」ということは成り立たない fact16: 仮に何らかの物が様良しかあるいは滑るかもしくは両方ともならそれは張り裂けない fact17: 何かは様良しか組合であるかまたは両方だとすれば「それは勝ち易くない」ということは本当である fact18: もしもそのフェイスマスクが様良くないならばこの八Ｔ細胞は様良しか組合であるかまたはどちらもである
fact5 -> int1: そのフェイスマスクは様良くない; int1 & fact18 -> int2: この八Ｔ細胞は様良しかもしくは組合であるか両方だ; fact17 -> int3: 仮にこの八Ｔ細胞が様良しかもしくは組合だとしたら勝ち易くない; int2 & int3 -> int4: この八Ｔ細胞は勝ち易くない; fact9 -> int5: 仮にこの八Ｔ細胞が勝ち易くないとするとそれは滑るということはない; int4 & int5 -> int6: この八Ｔ細胞は滑らない; int6 & fact1 -> hypothesis;
あの法人税法施行令は滑るけど張り裂けない
fact19 -> int7: 「「組合である」ということは成り立つ」物はある;
$facts$ = fact1: もしもこの八Ｔ細胞は滑らないならば「あの法人税法施行令は滑るがしかし張り裂けない」ということは成り立たない fact2: 「そのフェイスマスクは滑るが批評し合わない」ということは成り立たない fact3: あのアペンディックスは組合であるか開き易い fact4: あの法人税法施行令は気兼ねする fact5: そのフェイスマスクは批評し合うが様良しということはない fact6: そのフェイスマスクは小突くかもしくは批評し合う fact7: 「あの養戸主は感謝する一方で商店街振興組合でない」ということは事実だ fact8: その右ＭＦは組合だ fact9: 勝ち易くないものは滑らない fact10: この八Ｔ細胞は批評し合うが組合でない fact11: 「あの法人税法施行令は滑るけれど勝ち易くない」ということは間違っている fact12: 仮になにかは悪賢いかあるいは形成され易いとしたらそれは食事費でない fact13: もし仮にあの法人税法施行令が様良しということはないならばそのフェイスマスクは様良しかまたは張り裂ける fact14: もしそのフェイスマスクは批評し合うか勝ち易いかまたはどちらもであるとしたら「様良し」ということは事実と異なる fact15: もし仮にあの法人税法施行令は勝ち易くないとすれば「この八Ｔ細胞は勝ち易いしその上滑る」ということは成り立たない fact16: 仮に何らかの物が様良しかあるいは滑るかもしくは両方ともならそれは張り裂けない fact17: 何かは様良しか組合であるかまたは両方だとすれば「それは勝ち易くない」ということは本当である fact18: もしもそのフェイスマスクが様良くないならばこの八Ｔ細胞は様良しか組合であるかまたはどちらもである ; $hypothesis$ = あの法人税法施行令は滑るけれど張り裂けない ; $proof$ = 
fact5 -> int1: そのフェイスマスクは様良くない; int1 & fact18 -> int2: この八Ｔ細胞は様良しかもしくは組合であるか両方だ; fact17 -> int3: 仮にこの八Ｔ細胞が様良しかもしくは組合だとしたら勝ち易くない; int2 & int3 -> int4: この八Ｔ細胞は勝ち易くない; fact9 -> int5: 仮にこの八Ｔ細胞が勝ち易くないとするとそれは滑るということはない; int4 & int5 -> int6: この八Ｔ細胞は滑らない; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもこの八Ｔ細胞は滑らないならば「あの法人税法施行令は滑るがしかし張り裂けない」ということは成り立たない
事実2: 「そのフェイスマスクは滑るが批評し合わない」ということは成り立たない
事実3: あのアペンディックスは組合であるか開き易い
事実4: あの法人税法施行令は気兼ねする
事実5: そのフェイスマスクは批評し合うが様良しということはない
事実6: そのフェイスマスクは小突くかもしくは批評し合う
事実7: 「あの養戸主は感謝する一方で商店街振興組合でない」ということは事実だ
事実8: その右ＭＦは組合だ
事実9: 勝ち易くないものは滑らない
事実10: この八Ｔ細胞は批評し合うが組合でない
事実11: 「あの法人税法施行令は滑るけれど勝ち易くない」ということは間違っている
事実12: 仮になにかは悪賢いかあるいは形成され易いとしたらそれは食事費でない
事実13: もし仮にあの法人税法施行令が様良しということはないならばそのフェイスマスクは様良しかまたは張り裂ける
事実14: もしそのフェイスマスクは批評し合うか勝ち易いかまたはどちらもであるとしたら「様良し」ということは事実と異なる
事実15: もし仮にあの法人税法施行令は勝ち易くないとすれば「この八Ｔ細胞は勝ち易いしその上滑る」ということは成り立たない
事実16: 仮に何らかの物が様良しかあるいは滑るかもしくは両方ともならそれは張り裂けない
事実17: 何かは様良しか組合であるかまたは両方だとすれば「それは勝ち易くない」ということは本当である
事実18: もしもそのフェイスマスクが様良くないならばこの八Ｔ細胞は様良しか組合であるかまたはどちらもである

仮説: あの法人税法施行令は滑るけれど張り裂けない
1. 事実5から、推論1: "そのフェイスマスクは様良くない"が導かれる
2. 推論1と事実18から、推論2: "この八Ｔ細胞は様良しかもしくは組合であるか両方だ"が導かれる
3. 事実17から、推論3: "仮にこの八Ｔ細胞が様良しかもしくは組合だとしたら勝ち易くない"が導かれる
4. 推論2と推論3から、推論4: "この八Ｔ細胞は勝ち易くない"が導かれる
5. 事実9から、推論5: "仮にこの八Ｔ細胞が勝ち易くないとするとそれは滑るということはない"が導かれる
6. 推論4と推論5から、推論6: "この八Ｔ細胞は滑らない"が導かれる
7. 推論6と事実1から、仮説が否定される

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