あの調べは嫉妬深い
fact1: あの調べは困難化する fact2: 仮にあの調べが工場用地だとすれば嫉妬深い fact3: もし仮にその初期症状が地下深くなくてしかも工場用地でないならあの調べは嫉妬深くない fact4: もしあのセイント学園が予測し易いとしたら勉学する fact5: この蓋は工場用地である fact6: もしあの調べが売り切るならそれは工場用地だ fact7: あの調べは保ち続ける fact8: あの調べは工場用地である fact9: あの調べは日本人らしい fact10: もしあの調べが称賛すればそれは取り返せる fact11: もし何らかのものは痛ましいとすると「それはバンドルするかあるいは仄暗くない」ということは誤りである fact12: もしも「「あの調べはバンドルするかもしくはそれは仄暗くないかもしくは両方ともである」ということは真実だ」ということは偽であるならあの宣伝は地下深くない fact13: もし仮にその環境ＮＧＯが疑わしならそれは選択し易い fact14: もしもそのおかまが甘ーいならばそれは剔出する fact15: 全ての物は怖ーくないけど痛ましい
fact2 & fact8 -> hypothesis;
fact2 & fact8 -> hypothesis;
あの調べは嫉妬深くない
$facts$ = fact1: あの調べは困難化する fact2: 仮にあの調べが工場用地だとすれば嫉妬深い fact3: もし仮にその初期症状が地下深くなくてしかも工場用地でないならあの調べは嫉妬深くない fact4: もしあのセイント学園が予測し易いとしたら勉学する fact5: この蓋は工場用地である fact6: もしあの調べが売り切るならそれは工場用地だ fact7: あの調べは保ち続ける fact8: あの調べは工場用地である fact9: あの調べは日本人らしい fact10: もしあの調べが称賛すればそれは取り返せる fact11: もし何らかのものは痛ましいとすると「それはバンドルするかあるいは仄暗くない」ということは誤りである fact12: もしも「「あの調べはバンドルするかもしくはそれは仄暗くないかもしくは両方ともである」ということは真実だ」ということは偽であるならあの宣伝は地下深くない fact13: もし仮にその環境ＮＧＯが疑わしならそれは選択し易い fact14: もしもそのおかまが甘ーいならばそれは剔出する fact15: 全ての物は怖ーくないけど痛ましい ; $hypothesis$ = あの調べは嫉妬深い ; $proof$ = 
fact2 & fact8 -> hypothesis; __PROVED__
事実1: あの調べは困難化する
事実2: 仮にあの調べが工場用地だとすれば嫉妬深い
事実3: もし仮にその初期症状が地下深くなくてしかも工場用地でないならあの調べは嫉妬深くない
事実4: もしあのセイント学園が予測し易いとしたら勉学する
事実5: この蓋は工場用地である
事実6: もしあの調べが売り切るならそれは工場用地だ
事実7: あの調べは保ち続ける
事実8: あの調べは工場用地である
事実9: あの調べは日本人らしい
事実10: もしあの調べが称賛すればそれは取り返せる
事実11: もし何らかのものは痛ましいとすると「それはバンドルするかあるいは仄暗くない」ということは誤りである
事実12: もしも「「あの調べはバンドルするかもしくはそれは仄暗くないかもしくは両方ともである」ということは真実だ」ということは偽であるならあの宣伝は地下深くない
事実13: もし仮にその環境ＮＧＯが疑わしならそれは選択し易い
事実14: もしもそのおかまが甘ーいならばそれは剔出する
事実15: 全ての物は怖ーくないけど痛ましい

仮説: あの調べは嫉妬深い
1. 事実2と事実8から、仮説が導かれる

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