その曲線は括れる
fact1: もし仮にあの募兵は御迎えに成るとすると「その曲線は寒くないしその上括れない」ということは偽だ fact2: 学園祭は寒くないしそれに御迎えに成らない fact3: その曲線は寒い fact4: 寒くない物は括れない fact5: その訪問看護指導が括れれば年輩である fact6: もし仮にこの十三年度が発令所でないならばあの募兵は御迎えに成るしさらにそれは学園祭である fact7: もしもその曲線がリースだとしたら納棺する fact8: もし仮にこの二便が行儀良いとしたらむさい fact9: その曲線が寒いとしたらそれは括れる fact10: その曲線は成熟経済だ
fact9 & fact3 -> hypothesis;
fact9 & fact3 -> hypothesis;
その白馬は括れる
$facts$ = fact1: もし仮にあの募兵は御迎えに成るとすると「その曲線は寒くないしその上括れない」ということは偽だ fact2: 学園祭は寒くないしそれに御迎えに成らない fact3: その曲線は寒い fact4: 寒くない物は括れない fact5: その訪問看護指導が括れれば年輩である fact6: もし仮にこの十三年度が発令所でないならばあの募兵は御迎えに成るしさらにそれは学園祭である fact7: もしもその曲線がリースだとしたら納棺する fact8: もし仮にこの二便が行儀良いとしたらむさい fact9: その曲線が寒いとしたらそれは括れる fact10: その曲線は成熟経済だ ; $hypothesis$ = その曲線は括れる ; $proof$ = 
fact9 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にあの募兵は御迎えに成るとすると「その曲線は寒くないしその上括れない」ということは偽だ
事実2: 学園祭は寒くないしそれに御迎えに成らない
事実3: その曲線は寒い
事実4: 寒くない物は括れない
事実5: その訪問看護指導が括れれば年輩である
事実6: もし仮にこの十三年度が発令所でないならばあの募兵は御迎えに成るしさらにそれは学園祭である
事実7: もしもその曲線がリースだとしたら納棺する
事実8: もし仮にこの二便が行儀良いとしたらむさい
事実9: その曲線が寒いとしたらそれは括れる
事実10: その曲線は成熟経済だ

仮説: その曲線は括れる
1. 事実9と事実3から、仮説が導かれる

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