あの三師はＴＡＢＬＥでない
fact1: もしも「なにかは作れなくてまた集め易くない」ということは成り立たないならばＴＡＢＬＥでない fact2: あの不可侵条約は集め易い fact3: 仮に何らかの物が得られ易いとすればそれはＴＡＢＬＥだ fact4: もし仮にあの不可侵条約が作れるならあの三師は階高でない fact5: あの不可侵条約は階高であるかもしくは集め易くないかあるいは両方ともである fact6: もし「あの下仁田葱は得られ易くないしそれは集め易くない」ということは偽だとするとあの三師は集め易い fact7: もし仮に何かは改定するとしたら「飢え乾く」ということは成り立つ fact8: もし仮に「この人気ナンバーは飢え乾く」ということは事実だとすればあの下仁田葱は失敬する fact9: 仮にあの三師が集め易いならあの不可侵条約は作れるがしかしそれはＴＡＢＬＥでない fact10: あの三師は得られ易いならば「それはＴＡＢＬＥだ」ということは確かである fact11: 仮に何かは得られ易いかもしくは階高でないとしたら「ＴＡＢＬＥである」ということは成り立つ fact12: もし「なにかは失敬しない」ということは成り立てばそれは階高だしさらに得られ易い fact13: もしも「この人気ナンバーは得られ易いが飢え乾かない」ということは成り立たないならば「あの下仁田葱は得られ易くない」ということは真実だ fact14: あの不可侵条約は聞こえ難い fact15: あの不可侵条約が作れるかまたはそれが集め易いかまたは両方ともだとするとあの三師は階高であるということはない fact16: もしもあの不可侵条約が作れるかもしくはそれはＴＡＢＬＥでないかまたは両方ともだとすれば「階高である」ということは成り立つ fact17: もしその赤神神社が改定するとしたらこの人気ナンバーは改定する fact18: なんらかのものは階高だということはないならば「得られ易くないし更に集め易くない」ということは成り立たない fact19: 「この人気ナンバーは得られ易いけど飢え乾くということはない」ということは誤っている
fact2 -> int1: あの不可侵条約は作れるかそれは集め易いかどちらもだ; int1 & fact15 -> int2: あの三師は階高だということはない; int2 -> int3: あの三師は得られ易いかまたは階高でないかもしくは両方ともである; fact11 -> int4: 仮にあの三師が得られ易いかもしくはそれは階高でないか両方ともだとすればそれはＴＡＢＬＥである; int3 & int4 -> hypothesis;
あの三師はＴＡＢＬＥでない
fact22 -> int5: もし仮に「あの三師は作れなくて集め易くない」ということは誤りだとしたらそれはＴＡＢＬＥでない; fact21 & fact20 -> int6: あの下仁田葱は得られ易くない; int6 -> int7: 何かは得られ易くない;
$facts$ = fact1: もしも「なにかは作れなくてまた集め易くない」ということは成り立たないならばＴＡＢＬＥでない fact2: あの不可侵条約は集め易い fact3: 仮に何らかの物が得られ易いとすればそれはＴＡＢＬＥだ fact4: もし仮にあの不可侵条約が作れるならあの三師は階高でない fact5: あの不可侵条約は階高であるかもしくは集め易くないかあるいは両方ともである fact6: もし「あの下仁田葱は得られ易くないしそれは集め易くない」ということは偽だとするとあの三師は集め易い fact7: もし仮に何かは改定するとしたら「飢え乾く」ということは成り立つ fact8: もし仮に「この人気ナンバーは飢え乾く」ということは事実だとすればあの下仁田葱は失敬する fact9: 仮にあの三師が集め易いならあの不可侵条約は作れるがしかしそれはＴＡＢＬＥでない fact10: あの三師は得られ易いならば「それはＴＡＢＬＥだ」ということは確かである fact11: 仮に何かは得られ易いかもしくは階高でないとしたら「ＴＡＢＬＥである」ということは成り立つ fact12: もし「なにかは失敬しない」ということは成り立てばそれは階高だしさらに得られ易い fact13: もしも「この人気ナンバーは得られ易いが飢え乾かない」ということは成り立たないならば「あの下仁田葱は得られ易くない」ということは真実だ fact14: あの不可侵条約は聞こえ難い fact15: あの不可侵条約が作れるかまたはそれが集め易いかまたは両方ともだとするとあの三師は階高であるということはない fact16: もしもあの不可侵条約が作れるかもしくはそれはＴＡＢＬＥでないかまたは両方ともだとすれば「階高である」ということは成り立つ fact17: もしその赤神神社が改定するとしたらこの人気ナンバーは改定する fact18: なんらかのものは階高だということはないならば「得られ易くないし更に集め易くない」ということは成り立たない fact19: 「この人気ナンバーは得られ易いけど飢え乾くということはない」ということは誤っている ; $hypothesis$ = あの三師はＴＡＢＬＥでない ; $proof$ = 
fact2 -> int1: あの不可侵条約は作れるかそれは集め易いかどちらもだ; int1 & fact15 -> int2: あの三師は階高だということはない; int2 -> int3: あの三師は得られ易いかまたは階高でないかもしくは両方ともである; fact11 -> int4: 仮にあの三師が得られ易いかもしくはそれは階高でないか両方ともだとすればそれはＴＡＢＬＥである; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしも「なにかは作れなくてまた集め易くない」ということは成り立たないならばＴＡＢＬＥでない
事実2: あの不可侵条約は集め易い
事実3: 仮に何らかの物が得られ易いとすればそれはＴＡＢＬＥだ
事実4: もし仮にあの不可侵条約が作れるならあの三師は階高でない
事実5: あの不可侵条約は階高であるかもしくは集め易くないかあるいは両方ともである
事実6: もし「あの下仁田葱は得られ易くないしそれは集め易くない」ということは偽だとするとあの三師は集め易い
事実7: もし仮に何かは改定するとしたら「飢え乾く」ということは成り立つ
事実8: もし仮に「この人気ナンバーは飢え乾く」ということは事実だとすればあの下仁田葱は失敬する
事実9: 仮にあの三師が集め易いならあの不可侵条約は作れるがしかしそれはＴＡＢＬＥでない
事実10: あの三師は得られ易いならば「それはＴＡＢＬＥだ」ということは確かである
事実11: 仮に何かは得られ易いかもしくは階高でないとしたら「ＴＡＢＬＥである」ということは成り立つ
事実12: もし「なにかは失敬しない」ということは成り立てばそれは階高だしさらに得られ易い
事実13: もしも「この人気ナンバーは得られ易いが飢え乾かない」ということは成り立たないならば「あの下仁田葱は得られ易くない」ということは真実だ
事実14: あの不可侵条約は聞こえ難い
事実15: あの不可侵条約が作れるかまたはそれが集め易いかまたは両方ともだとするとあの三師は階高であるということはない
事実16: もしもあの不可侵条約が作れるかもしくはそれはＴＡＢＬＥでないかまたは両方ともだとすれば「階高である」ということは成り立つ
事実17: もしその赤神神社が改定するとしたらこの人気ナンバーは改定する
事実18: なんらかのものは階高だということはないならば「得られ易くないし更に集め易くない」ということは成り立たない
事実19: 「この人気ナンバーは得られ易いけど飢え乾くということはない」ということは誤っている

仮説: あの三師はＴＡＢＬＥでない
1. 事実2から、推論1: "あの不可侵条約は作れるかそれは集め易いかどちらもだ"が導かれる
2. 推論1と事実15から、推論2: "あの三師は階高だということはない"が導かれる
3. 推論2から、推論3: "あの三師は得られ易いかまたは階高でないかもしくは両方ともである"が導かれる
4. 事実11から、推論4: "仮にあの三師が得られ易いかもしくはそれは階高でないか両方ともだとすればそれはＴＡＢＬＥである"が導かれる
5. 推論3と推論4から、仮説が否定される

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