「もし叩き払わないとすれば相待つということはない」ものはある
fact1: もしもなにがしかのものは外的環境でないならそれはめぼしいということはない fact2: もしなんらかの物が叩き払うとすればそれは相待たない fact3: 仮にその栽培地が叩き払わないとしたらそれは後学であるということはない fact4: もしなにがしかのものが叩き払わないとすればそれは相待たない fact5: 「仮に叩き払わないならば相待つ」ものはある fact6: 「もしも叩き払えば相待たない」ものはある fact7: もし仮にその栽培地が叩き払うとするとそれは相待たない fact8: もし仮にその栽培地は叩き払わないなら「相待つ」ということは誤っているということはない fact9: でかいということはない物は相待たない
fact4 -> int1: 仮にその栽培地が叩き払わないならばそれは相待たない; int1 -> hypothesis;
もしもその栽培地はでかくないなら「相待たない」ということは間違いでない
fact10 -> hypothesis;
$facts$ = fact1: もしもなにがしかのものは外的環境でないならそれはめぼしいということはない fact2: もしなんらかの物が叩き払うとすればそれは相待たない fact3: 仮にその栽培地が叩き払わないとしたらそれは後学であるということはない fact4: もしなにがしかのものが叩き払わないとすればそれは相待たない fact5: 「仮に叩き払わないならば相待つ」ものはある fact6: 「もしも叩き払えば相待たない」ものはある fact7: もし仮にその栽培地が叩き払うとするとそれは相待たない fact8: もし仮にその栽培地は叩き払わないなら「相待つ」ということは誤っているということはない fact9: でかいということはない物は相待たない ; $hypothesis$ = 「もし叩き払わないとすれば相待つということはない」ものはある ; $proof$ = 
fact4 -> int1: 仮にその栽培地が叩き払わないならばそれは相待たない; int1 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものは外的環境でないならそれはめぼしいということはない
事実2: もしなんらかの物が叩き払うとすればそれは相待たない
事実3: 仮にその栽培地が叩き払わないとしたらそれは後学であるということはない
事実4: もしなにがしかのものが叩き払わないとすればそれは相待たない
事実5: 「仮に叩き払わないならば相待つ」ものはある
事実6: 「もしも叩き払えば相待たない」ものはある
事実7: もし仮にその栽培地が叩き払うとするとそれは相待たない
事実8: もし仮にその栽培地は叩き払わないなら「相待つ」ということは誤っているということはない
事実9: でかいということはない物は相待たない

仮説: 「もし叩き払わないとすれば相待つということはない」ものはある
1. 事実4から、推論1: "仮にその栽培地が叩き払わないならばそれは相待たない"が導かれる
2. 推論1から、仮説が導かれる

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