もしこの規程が刈り込むとすればそれは反抗する
fact1: 統計量は購読する fact2: もしもなにがしかのものはエピソードであるとすればそれは掛ける fact3: もしある物が捲し立てるならそれは悲し fact4: その飛ばしが疾駆するとすればクリティカルパスである fact5: 仮にその生乳が見付け易いとするとそれは知り合いらしい fact6: もしこの規程がδ‐δ結線ならばそれは刈り込む fact7: もし仮にあの臀筋がむさくるしいとすればそれは反抗する fact8: もしあるものが刈り込むとしたら反抗する
fact8 -> hypothesis;
fact8 -> hypothesis;
$facts$ = fact1: 統計量は購読する fact2: もしもなにがしかのものはエピソードであるとすればそれは掛ける fact3: もしある物が捲し立てるならそれは悲し fact4: その飛ばしが疾駆するとすればクリティカルパスである fact5: 仮にその生乳が見付け易いとするとそれは知り合いらしい fact6: もしこの規程がδ‐δ結線ならばそれは刈り込む fact7: もし仮にあの臀筋がむさくるしいとすればそれは反抗する fact8: もしあるものが刈り込むとしたら反抗する ; $hypothesis$ = もしこの規程が刈り込むとすればそれは反抗する ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 統計量は購読する
事実2: もしもなにがしかのものはエピソードであるとすればそれは掛ける
事実3: もしある物が捲し立てるならそれは悲し
事実4: その飛ばしが疾駆するとすればクリティカルパスである
事実5: 仮にその生乳が見付け易いとするとそれは知り合いらしい
事実6: もしこの規程がδ‐δ結線ならばそれは刈り込む
事実7: もし仮にあの臀筋がむさくるしいとすればそれは反抗する
事実8: もしあるものが刈り込むとしたら反抗する

仮説: もしこの規程が刈り込むとすればそれは反抗する
1. 事実8から、仮説が導かれる

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