「このボート漕ぎは漬け込まない」ということは事実ならば生起する一方で鬩ぎ合わない
fact1: もしもあるものが漬け込まないならそれは生起するしそれは鬩ぎ合う fact2: なんらかの物が漬け込まないならばそれは生起するし更に鬩ぎ合わない fact3: もし仮にこのボート漕ぎが漬け込まないとしたらそれは生起する fact4: もしもこのボート漕ぎが漬け込まないならそれは生起するしそれは鬩ぎ合う fact5: とある物が漬け込まないとすればそれは生起する
fact2 -> hypothesis;
$facts$ = fact1: もしもあるものが漬け込まないならそれは生起するしそれは鬩ぎ合う fact2: なんらかの物が漬け込まないならばそれは生起するし更に鬩ぎ合わない fact3: もし仮にこのボート漕ぎが漬け込まないとしたらそれは生起する fact4: もしもこのボート漕ぎが漬け込まないならそれは生起するしそれは鬩ぎ合う fact5: とある物が漬け込まないとすればそれは生起する ; $hypothesis$ = 「このボート漕ぎは漬け込まない」ということは事実ならば生起する一方で鬩ぎ合わない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもあるものが漬け込まないならそれは生起するしそれは鬩ぎ合う
事実2: なんらかの物が漬け込まないならばそれは生起するし更に鬩ぎ合わない
事実3: もし仮にこのボート漕ぎが漬け込まないとしたらそれは生起する
事実4: もしもこのボート漕ぎが漬け込まないならそれは生起するしそれは鬩ぎ合う
事実5: とある物が漬け込まないとすればそれは生起する

仮説: 「このボート漕ぎは漬け込まない」ということは事実ならば生起する一方で鬩ぎ合わない
1. 事実2から、仮説が導かれる

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