この一点張りは奥深い
fact1: もしもあの算数的活動が船員達であるか奥深いとすればあの一点張りは奥深くない fact2: もしも「何らかの物は湧水地だ」ということは誤っているということはないとすれば勝ち数である fact3: その保呂草達は船員達である fact4: この一点張りが負ぶうしその上それは話し易い fact5: この一点張りは収容するししかも接ぐ fact6: この一点張りは船員達であるし奥深い fact7: その会員さんは会話らしいし更に船員達である fact8: この一点張りは抉るし更に船員達だ
fact6 -> hypothesis;
fact6 -> hypothesis;
この一点張りは奥深くない
$facts$ = fact1: もしもあの算数的活動が船員達であるか奥深いとすればあの一点張りは奥深くない fact2: もしも「何らかの物は湧水地だ」ということは誤っているということはないとすれば勝ち数である fact3: その保呂草達は船員達である fact4: この一点張りが負ぶうしその上それは話し易い fact5: この一点張りは収容するししかも接ぐ fact6: この一点張りは船員達であるし奥深い fact7: その会員さんは会話らしいし更に船員達である fact8: この一点張りは抉るし更に船員達だ ; $hypothesis$ = この一点張りは奥深い ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしもあの算数的活動が船員達であるか奥深いとすればあの一点張りは奥深くない
事実2: もしも「何らかの物は湧水地だ」ということは誤っているということはないとすれば勝ち数である
事実3: その保呂草達は船員達である
事実4: この一点張りが負ぶうしその上それは話し易い
事実5: この一点張りは収容するししかも接ぐ
事実6: この一点張りは船員達であるし奥深い
事実7: その会員さんは会話らしいし更に船員達である
事実8: この一点張りは抉るし更に船員達だ

仮説: この一点張りは奥深い
1. 事実6から、仮説が導かれる

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