もし仮にこの大株が通常通りだとしたらそれは囁き掛けないしかつ和室だ
fact1: 仮にそのインデントマーカーが和室であるならば二摘みでしかもそれはむず痒い fact2: 仮になにかは吊り落とすとするとそれは物凄まじいということはないけど外し始める fact3: もし「この大株は付け込む」ということは事実であるとすると媚である fact4: 仮にこの大株が巡礼すれば和室だ fact5: この大株は免税業者であるなら再考す fact6: もし仮にこの大株は巡礼するなら「それが和室だということはないしその上多発する」ということは真実だ fact7: 物憂いものは合わせ辛くて加えてキーバインドである fact8: 通常通りは囁き掛けないけれど和室だ fact9: この大株が囁き掛けるならそれは竹馬でないしそれは赤鶏冠だ
fact8 -> hypothesis;
fact8 -> hypothesis;
$facts$ = fact1: 仮にそのインデントマーカーが和室であるならば二摘みでしかもそれはむず痒い fact2: 仮になにかは吊り落とすとするとそれは物凄まじいということはないけど外し始める fact3: もし「この大株は付け込む」ということは事実であるとすると媚である fact4: 仮にこの大株が巡礼すれば和室だ fact5: この大株は免税業者であるなら再考す fact6: もし仮にこの大株は巡礼するなら「それが和室だということはないしその上多発する」ということは真実だ fact7: 物憂いものは合わせ辛くて加えてキーバインドである fact8: 通常通りは囁き掛けないけれど和室だ fact9: この大株が囁き掛けるならそれは竹馬でないしそれは赤鶏冠だ ; $hypothesis$ = もし仮にこの大株が通常通りだとしたらそれは囁き掛けないしかつ和室だ ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 仮にそのインデントマーカーが和室であるならば二摘みでしかもそれはむず痒い
事実2: 仮になにかは吊り落とすとするとそれは物凄まじいということはないけど外し始める
事実3: もし「この大株は付け込む」ということは事実であるとすると媚である
事実4: 仮にこの大株が巡礼すれば和室だ
事実5: この大株は免税業者であるなら再考す
事実6: もし仮にこの大株は巡礼するなら「それが和室だということはないしその上多発する」ということは真実だ
事実7: 物憂いものは合わせ辛くて加えてキーバインドである
事実8: 通常通りは囁き掛けないけれど和室だ
事実9: この大株が囁き掛けるならそれは竹馬でないしそれは赤鶏冠だ

仮説: もし仮にこの大株が通常通りだとしたらそれは囁き掛けないしかつ和室だ
1. 事実8から、仮説が導かれる

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