「この金利生活者は通じ難い一方でエンコードしない」ということは偽である
fact1: もしもこの金利生活者は良いということはないかもしくは乾き易いかあるいは両方ともであるとするとエンコードしない fact2: 「このファントム・メナスは植え継ぐ」ということは成り立つ fact3: 「このファントム・メナスは切り開かなくておまけにそれは徳洲会グループであるということはない」ということは確かでない fact4: もしこのファントム・メナスが徳洲会グループだとすればこの金利生活者は偉い fact5: 仮に「このファントム・メナスは通じ難いということはないし加えてエンコードするということはない」ということは成り立たないならばこの金利生活者は徳洲会グループだ fact6: 乾き易いものは処罰するかもしくはエンコードしないかもしくは両方ともだ fact7: もしも「このファントム・メナスは徳洲会グループでなくてしかもエンコードしない」ということは成り立たないならこの金利生活者は偉い fact8: もしもこのパニエが御若いとすると切り開く fact9: 「このファントム・メナスは切り開かない一方で徳洲会グループである」ということは間違いだ fact10: このファントム・メナスは乾き易い fact11: この上智大学は乾き易くない fact12: もしも「この金利生活者は乾き易い」ということは嘘でないとすると「エンコードするということはない」ということは本当である fact13: なにがしかのものが処罰するかエンコードしないならそれはエンコードしない fact14: もしも「「このファントム・メナスは切り開かないし更に徳洲会グループでない」ということは間違っている」ということは確かだとしたら「この金利生活者は偉い」ということは真実である fact15: もし仮に何かは偉いならそれは通じ難い fact16: この金利生活者は良くないかあるいは乾き易いかまたはどちらもだ fact17: もしこのファントム・メナスが通じ難くないならばこの竜脈は良くないかあるいは二千以上であるかまたは両方だ
fact14 & fact3 -> int1: この金利生活者は偉い; fact15 -> int2: もし仮にこの金利生活者が偉いならばそれは通じ難い; int1 & int2 -> int3: この金利生活者は通じ難い; fact1 & fact16 -> int4: この金利生活者はエンコードしない; int3 & int4 -> hypothesis;
この竜脈は良くないかあるいは二千以上であるかまたは両方ともだ
fact20 -> int5: 仮にこのファントム・メナスが処罰するかまたはそれはエンコードしないかあるいはどちらもだとするとそれはエンコードしない; fact19 -> int6: もしこのファントム・メナスが乾き易いとしたらそれは処罰するかまたはエンコードしないかあるいは両方ともだ;
$facts$ = fact1: もしもこの金利生活者は良いということはないかもしくは乾き易いかあるいは両方ともであるとするとエンコードしない fact2: 「このファントム・メナスは植え継ぐ」ということは成り立つ fact3: 「このファントム・メナスは切り開かなくておまけにそれは徳洲会グループであるということはない」ということは確かでない fact4: もしこのファントム・メナスが徳洲会グループだとすればこの金利生活者は偉い fact5: 仮に「このファントム・メナスは通じ難いということはないし加えてエンコードするということはない」ということは成り立たないならばこの金利生活者は徳洲会グループだ fact6: 乾き易いものは処罰するかもしくはエンコードしないかもしくは両方ともだ fact7: もしも「このファントム・メナスは徳洲会グループでなくてしかもエンコードしない」ということは成り立たないならこの金利生活者は偉い fact8: もしもこのパニエが御若いとすると切り開く fact9: 「このファントム・メナスは切り開かない一方で徳洲会グループである」ということは間違いだ fact10: このファントム・メナスは乾き易い fact11: この上智大学は乾き易くない fact12: もしも「この金利生活者は乾き易い」ということは嘘でないとすると「エンコードするということはない」ということは本当である fact13: なにがしかのものが処罰するかエンコードしないならそれはエンコードしない fact14: もしも「「このファントム・メナスは切り開かないし更に徳洲会グループでない」ということは間違っている」ということは確かだとしたら「この金利生活者は偉い」ということは真実である fact15: もし仮に何かは偉いならそれは通じ難い fact16: この金利生活者は良くないかあるいは乾き易いかまたはどちらもだ fact17: もしこのファントム・メナスが通じ難くないならばこの竜脈は良くないかあるいは二千以上であるかまたは両方だ ; $hypothesis$ = 「この金利生活者は通じ難い一方でエンコードしない」ということは偽である ; $proof$ = 
fact14 & fact3 -> int1: この金利生活者は偉い; fact15 -> int2: もし仮にこの金利生活者が偉いならばそれは通じ難い; int1 & int2 -> int3: この金利生活者は通じ難い; fact1 & fact16 -> int4: この金利生活者はエンコードしない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしもこの金利生活者は良いということはないかもしくは乾き易いかあるいは両方ともであるとするとエンコードしない
事実2: 「このファントム・メナスは植え継ぐ」ということは成り立つ
事実3: 「このファントム・メナスは切り開かなくておまけにそれは徳洲会グループであるということはない」ということは確かでない
事実4: もしこのファントム・メナスが徳洲会グループだとすればこの金利生活者は偉い
事実5: 仮に「このファントム・メナスは通じ難いということはないし加えてエンコードするということはない」ということは成り立たないならばこの金利生活者は徳洲会グループだ
事実6: 乾き易いものは処罰するかもしくはエンコードしないかもしくは両方ともだ
事実7: もしも「このファントム・メナスは徳洲会グループでなくてしかもエンコードしない」ということは成り立たないならこの金利生活者は偉い
事実8: もしもこのパニエが御若いとすると切り開く
事実9: 「このファントム・メナスは切り開かない一方で徳洲会グループである」ということは間違いだ
事実10: このファントム・メナスは乾き易い
事実11: この上智大学は乾き易くない
事実12: もしも「この金利生活者は乾き易い」ということは嘘でないとすると「エンコードするということはない」ということは本当である
事実13: なにがしかのものが処罰するかエンコードしないならそれはエンコードしない
事実14: もしも「「このファントム・メナスは切り開かないし更に徳洲会グループでない」ということは間違っている」ということは確かだとしたら「この金利生活者は偉い」ということは真実である
事実15: もし仮に何かは偉いならそれは通じ難い
事実16: この金利生活者は良くないかあるいは乾き易いかまたはどちらもだ
事実17: もしこのファントム・メナスが通じ難くないならばこの竜脈は良くないかあるいは二千以上であるかまたは両方だ

仮説: 「この金利生活者は通じ難い一方でエンコードしない」ということは偽である
1. 事実14と事実3から、推論1: "この金利生活者は偉い"が導かれる
2. 事実15から、推論2: "もし仮にこの金利生活者が偉いならばそれは通じ難い"が導かれる
3. 推論1と推論2から、推論3: "この金利生活者は通じ難い"が導かれる
4. 事実1と事実16から、推論4: "この金利生活者はエンコードしない"が導かれる
5. 推論3と推論4から、仮説が否定される

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