あの百円カンパは保持し続けるということはない
fact1: この特別対策は手洗いするか保持し続けない fact2: その公式試合は中間管理職でない fact3: もし仮にあの百円カンパがふらつかないかまたはそれは邪魔立てするということはないかどちらもであるならばそれは読み易くない fact4: あの百円カンパは濃いか工事しないかもしくはどちらもだ fact5: あの対決法案は才知でないかまたは攻撃し易くないかあるいは両方である fact6: あの百円カンパは歯科治療でない fact7: あの百円カンパはふらつくということはないか怒号するかあるいは両方である fact8: あの百円カンパはふらつくかもしくは邪魔立てしないかもしくは両方だ fact9: あの百円カンパはふらつかないかあるいはそれは邪魔立てするかまたは両方ともである fact10: 切なくない物は邪魔立てするしそれに保持し続ける fact11: もしこの本姓が読み易くないか私有財産でないかまたはどちらもであるとしたら促さない fact12: あの百円カンパは読み易いかあるいはそれは川崎山遺跡でない fact13: あの百円カンパはふらつかないかもしくは邪魔立てしないかまたはどちらもである fact14: もし「その公式試合は読み易い」ということは本当であるならあの百円カンパはふらつかない fact15: もしも何らかの物はケニー牧師でないとすると色好くない fact16: もしもその公式試合が中間管理職でないとすればその三省県道は晒せる一方で切なくない fact17: 読み易くないものは保持し続けない
fact17 -> int1: もし仮にあの百円カンパが読み易くないなら保持し続けない; fact13 & fact3 -> int2: 「あの百円カンパは読み易くない」ということは成り立つ; int1 & int2 -> hypothesis;
fact17 -> int1: ¬{B}{aa} -> ¬{C}{aa}; fact13 & fact3 -> int2: ¬{B}{aa}; int1 & int2 -> hypothesis;
あの百円カンパは保持し続ける
$facts$ = fact1: この特別対策は手洗いするか保持し続けない fact2: その公式試合は中間管理職でない fact3: もし仮にあの百円カンパがふらつかないかまたはそれは邪魔立てするということはないかどちらもであるならばそれは読み易くない fact4: あの百円カンパは濃いか工事しないかもしくはどちらもだ fact5: あの対決法案は才知でないかまたは攻撃し易くないかあるいは両方である fact6: あの百円カンパは歯科治療でない fact7: あの百円カンパはふらつくということはないか怒号するかあるいは両方である fact8: あの百円カンパはふらつくかもしくは邪魔立てしないかもしくは両方だ fact9: あの百円カンパはふらつかないかあるいはそれは邪魔立てするかまたは両方ともである fact10: 切なくない物は邪魔立てするしそれに保持し続ける fact11: もしこの本姓が読み易くないか私有財産でないかまたはどちらもであるとしたら促さない fact12: あの百円カンパは読み易いかあるいはそれは川崎山遺跡でない fact13: あの百円カンパはふらつかないかもしくは邪魔立てしないかまたはどちらもである fact14: もし「その公式試合は読み易い」ということは本当であるならあの百円カンパはふらつかない fact15: もしも何らかの物はケニー牧師でないとすると色好くない fact16: もしもその公式試合が中間管理職でないとすればその三省県道は晒せる一方で切なくない fact17: 読み易くないものは保持し続けない ; $hypothesis$ = あの百円カンパは保持し続けるということはない ; $proof$ = 
fact17 -> int1: もし仮にあの百円カンパが読み易くないなら保持し続けない; fact13 & fact3 -> int2: 「あの百円カンパは読み易くない」ということは成り立つ; int1 & int2 -> hypothesis; __PROVED__
事実1: この特別対策は手洗いするか保持し続けない
事実2: その公式試合は中間管理職でない
事実3: もし仮にあの百円カンパがふらつかないかまたはそれは邪魔立てするということはないかどちらもであるならばそれは読み易くない
事実4: あの百円カンパは濃いか工事しないかもしくはどちらもだ
事実5: あの対決法案は才知でないかまたは攻撃し易くないかあるいは両方である
事実6: あの百円カンパは歯科治療でない
事実7: あの百円カンパはふらつくということはないか怒号するかあるいは両方である
事実8: あの百円カンパはふらつくかもしくは邪魔立てしないかもしくは両方だ
事実9: あの百円カンパはふらつかないかあるいはそれは邪魔立てするかまたは両方ともである
事実10: 切なくない物は邪魔立てするしそれに保持し続ける
事実11: もしこの本姓が読み易くないか私有財産でないかまたはどちらもであるとしたら促さない
事実12: あの百円カンパは読み易いかあるいはそれは川崎山遺跡でない
事実13: あの百円カンパはふらつかないかもしくは邪魔立てしないかまたはどちらもである
事実14: もし「その公式試合は読み易い」ということは本当であるならあの百円カンパはふらつかない
事実15: もしも何らかの物はケニー牧師でないとすると色好くない
事実16: もしもその公式試合が中間管理職でないとすればその三省県道は晒せる一方で切なくない
事実17: 読み易くないものは保持し続けない

仮説: あの百円カンパは保持し続けるということはない
1. 事実17から、推論1: "もし仮にあの百円カンパが読み易くないなら保持し続けない"が導かれる
2. 事実13と事実3から、推論2: "「あの百円カンパは読み易くない」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。