この禄は弱い
fact1: 「「弱くないかまたは用い易いかまたはどちらもである」ということは間違いである」物はある fact2: もし仮に「「企業自身でないかもしくは御容赦願うかあるいは両方である」ということは成り立たない」ものがあるならこの大陸は家事事件でない fact3: この給米は弱いということはなくてまたそれは市場志向でない fact4: 「糠漬けな」ものはある fact5: もしも「家事事件でない」物があるならこの給米は市場志向でなくてそれに用い易くない fact6: 「「企業自身であるということはないかあるいは御容赦願う」ということは成り立たない」物はある fact7: 仮に「市場志向でなくてかつ用い易くない」ものがあるとしたらこの禄は弱い fact8: 「もし仮に「家事事件でない」ものがあるとすればあの大陸は用い易いということはない」ということは成り立つ fact9: 「各衛星でない」物はある fact10: 「発掘しない」ものはある
fact6 & fact2 -> int1: この大陸は家事事件でない; int1 -> int2: 「家事事件であるということはない」ものはある; int2 & fact5 -> int3: この給米は市場志向でないし加えて用い易くない; int3 -> int4: なにかは市場志向だということはないしさらに用い易くない; int4 & fact7 -> hypothesis;
$facts$ = fact1: 「「弱くないかまたは用い易いかまたはどちらもである」ということは間違いである」物はある fact2: もし仮に「「企業自身でないかもしくは御容赦願うかあるいは両方である」ということは成り立たない」ものがあるならこの大陸は家事事件でない fact3: この給米は弱いということはなくてまたそれは市場志向でない fact4: 「糠漬けな」ものはある fact5: もしも「家事事件でない」物があるならこの給米は市場志向でなくてそれに用い易くない fact6: 「「企業自身であるということはないかあるいは御容赦願う」ということは成り立たない」物はある fact7: 仮に「市場志向でなくてかつ用い易くない」ものがあるとしたらこの禄は弱い fact8: 「もし仮に「家事事件でない」ものがあるとすればあの大陸は用い易いということはない」ということは成り立つ fact9: 「各衛星でない」物はある fact10: 「発掘しない」ものはある ; $hypothesis$ = この禄は弱い ; $proof$ = 
fact6 & fact2 -> int1: この大陸は家事事件でない; int1 -> int2: 「家事事件であるということはない」ものはある; int2 & fact5 -> int3: この給米は市場志向でないし加えて用い易くない; int3 -> int4: なにかは市場志向だということはないしさらに用い易くない; int4 & fact7 -> hypothesis; __PROVED__
事実1: 「「弱くないかまたは用い易いかまたはどちらもである」ということは間違いである」物はある
事実2: もし仮に「「企業自身でないかもしくは御容赦願うかあるいは両方である」ということは成り立たない」ものがあるならこの大陸は家事事件でない
事実3: この給米は弱いということはなくてまたそれは市場志向でない
事実4: 「糠漬けな」ものはある
事実5: もしも「家事事件でない」物があるならこの給米は市場志向でなくてそれに用い易くない
事実6: 「「企業自身であるということはないかあるいは御容赦願う」ということは成り立たない」物はある
事実7: 仮に「市場志向でなくてかつ用い易くない」ものがあるとしたらこの禄は弱い
事実8: 「もし仮に「家事事件でない」ものがあるとすればあの大陸は用い易いということはない」ということは成り立つ
事実9: 「各衛星でない」物はある
事実10: 「発掘しない」ものはある

仮説: この禄は弱い
1. 事実6と事実2から、推論1: "この大陸は家事事件でない"が導かれる
2. 推論1から、推論2: "「家事事件であるということはない」ものはある"が導かれる
3. 推論2と事実5から、推論3: "この給米は市場志向でないし加えて用い易くない"が導かれる
4. 推論3から、推論4: "なにかは市場志向だということはないしさらに用い易くない"が導かれる
5. 推論4と事実7から、仮説が導かれる

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