もしもあの家庭菜園が浄化するということはないしその上辛抱強いないならばそれは代替出来る
fact1: っ早いものであり平ったくないものは入り難い fact2: もしとあるものは浄化しないし加えて辛抱強いということはないとしたら代替出来る fact3: 仮にあの家庭菜園が主砲であるけれど上昇し続けないとしたら浄化する fact4: もしもなにかは浄化するけど辛抱強くないとしたら代替出来る fact5: なにがしかの物が浄化しないけど辛抱強いとしたらそれは代替出来る
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: っ早いものであり平ったくないものは入り難い fact2: もしとあるものは浄化しないし加えて辛抱強いということはないとしたら代替出来る fact3: 仮にあの家庭菜園が主砲であるけれど上昇し続けないとしたら浄化する fact4: もしもなにかは浄化するけど辛抱強くないとしたら代替出来る fact5: なにがしかの物が浄化しないけど辛抱強いとしたらそれは代替出来る ; $hypothesis$ = もしもあの家庭菜園が浄化するということはないしその上辛抱強いないならばそれは代替出来る ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: っ早いものであり平ったくないものは入り難い
事実2: もしとあるものは浄化しないし加えて辛抱強いということはないとしたら代替出来る
事実3: 仮にあの家庭菜園が主砲であるけれど上昇し続けないとしたら浄化する
事実4: もしもなにかは浄化するけど辛抱強くないとしたら代替出来る
事実5: なにがしかの物が浄化しないけど辛抱強いとしたらそれは代替出来る

仮説: もしもあの家庭菜園が浄化するということはないしその上辛抱強いないならばそれは代替出来る
1. 事実2から、仮説が導かれる

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