このプレイ中は一喜一憂する
fact1: あの外貨は一喜一憂する fact2: このプレイ中は面白い fact3: 「あの御腹は一喜一憂する」ということは正しい fact4: このプレイ中は止む無い fact5: もし仮にこのプレイ中が再現出来ないとしたらあの専業主婦は一喜一憂するしまた再検討する fact6: この語義は一喜一憂する fact7: この引っ越しは一喜一憂する fact8: 「このプレイ中は正面衝突する」ということは成り立つ fact9: このプレイ中は受け易い fact10: もしも「なんらかの物は再現出来ないがしかし再検討する」ということは誤っているとすれば一喜一憂しない fact11: このポイント間は一喜一憂する fact12: このプレイ中は期し難い fact13: このプレイ中は一喜一憂する fact14: 「あの音響測定は一喜一憂する」ということは真実である fact15: その比較優位性は一喜一憂する
fact13 -> hypothesis;
fact13 -> hypothesis;
あの専業主婦は一喜一憂する
$facts$ = fact1: あの外貨は一喜一憂する fact2: このプレイ中は面白い fact3: 「あの御腹は一喜一憂する」ということは正しい fact4: このプレイ中は止む無い fact5: もし仮にこのプレイ中が再現出来ないとしたらあの専業主婦は一喜一憂するしまた再検討する fact6: この語義は一喜一憂する fact7: この引っ越しは一喜一憂する fact8: 「このプレイ中は正面衝突する」ということは成り立つ fact9: このプレイ中は受け易い fact10: もしも「なんらかの物は再現出来ないがしかし再検討する」ということは誤っているとすれば一喜一憂しない fact11: このポイント間は一喜一憂する fact12: このプレイ中は期し難い fact13: このプレイ中は一喜一憂する fact14: 「あの音響測定は一喜一憂する」ということは真実である fact15: その比較優位性は一喜一憂する ; $hypothesis$ = このプレイ中は一喜一憂する ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: あの外貨は一喜一憂する
事実2: このプレイ中は面白い
事実3: 「あの御腹は一喜一憂する」ということは正しい
事実4: このプレイ中は止む無い
事実5: もし仮にこのプレイ中が再現出来ないとしたらあの専業主婦は一喜一憂するしまた再検討する
事実6: この語義は一喜一憂する
事実7: この引っ越しは一喜一憂する
事実8: 「このプレイ中は正面衝突する」ということは成り立つ
事実9: このプレイ中は受け易い
事実10: もしも「なんらかの物は再現出来ないがしかし再検討する」ということは誤っているとすれば一喜一憂しない
事実11: このポイント間は一喜一憂する
事実12: このプレイ中は期し難い
事実13: このプレイ中は一喜一憂する
事実14: 「あの音響測定は一喜一憂する」ということは真実である
事実15: その比較優位性は一喜一憂する

仮説: このプレイ中は一喜一憂する
1. 事実13から、仮説が導かれる

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