この漂流は悩ましい
fact1: 仮にこの漂流がに因って居るがしかしそれは接合しないとしたら「悩ましい」ということは確かである fact2: この漂流はに因って居るが接合しない fact3: この漂流がフェライト・パーライトだしそれが完結するとしたらそれは与え易い fact4: その欠除はに因って居る
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: 仮にこの漂流がに因って居るがしかしそれは接合しないとしたら「悩ましい」ということは確かである fact2: この漂流はに因って居るが接合しない fact3: この漂流がフェライト・パーライトだしそれが完結するとしたらそれは与え易い fact4: その欠除はに因って居る ; $hypothesis$ = この漂流は悩ましい ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: 仮にこの漂流がに因って居るがしかしそれは接合しないとしたら「悩ましい」ということは確かである
事実2: この漂流はに因って居るが接合しない
事実3: この漂流がフェライト・パーライトだしそれが完結するとしたらそれは与え易い
事実4: その欠除はに因って居る

仮説: この漂流は悩ましい
1. 事実1と事実2から、仮説が導かれる

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