あの小学生以下はしょぼい
fact1: 仮にその二十三日民集は岳でないとすると働き掛ける一方で渡来でない fact2: この作製は細胞体であるかあるいは満遍無いかどちらもである fact3: もしもあの外車が岳でないならばその二十三日民集はアメリカ西海岸であるし働き掛ける fact4: もし仮にあの小学生以下が広げ過ぎるならあの万寿院は広げ過ぎる fact5: もし仮になんらかのものがアメリカ西海岸だとすると渡来である fact6: あの小学生以下は広げ過ぎる fact7: もし仮にその二十三日民集が渡来であるとしたらあの小学生以下は渡来でない fact8: あの外車が満遍無いし中世法制史料集なら岳でない fact9: もしもその二十三日民集が働き掛けるがしかし渡来であるということはないとしたらあの小学生以下は渡来でない fact10: あの小学生以下はしょぼいし広げ過ぎる fact11: なにかは渡来でないとしたら広げ過ぎるし加えてしょぼい fact12: この不和は広げ過ぎるしかつ平ったい
fact10 -> hypothesis;
fact10 -> hypothesis;
あの小学生以下はしょぼくない
$facts$ = fact1: 仮にその二十三日民集は岳でないとすると働き掛ける一方で渡来でない fact2: この作製は細胞体であるかあるいは満遍無いかどちらもである fact3: もしもあの外車が岳でないならばその二十三日民集はアメリカ西海岸であるし働き掛ける fact4: もし仮にあの小学生以下が広げ過ぎるならあの万寿院は広げ過ぎる fact5: もし仮になんらかのものがアメリカ西海岸だとすると渡来である fact6: あの小学生以下は広げ過ぎる fact7: もし仮にその二十三日民集が渡来であるとしたらあの小学生以下は渡来でない fact8: あの外車が満遍無いし中世法制史料集なら岳でない fact9: もしもその二十三日民集が働き掛けるがしかし渡来であるということはないとしたらあの小学生以下は渡来でない fact10: あの小学生以下はしょぼいし広げ過ぎる fact11: なにかは渡来でないとしたら広げ過ぎるし加えてしょぼい fact12: この不和は広げ過ぎるしかつ平ったい ; $hypothesis$ = あの小学生以下はしょぼい ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 仮にその二十三日民集は岳でないとすると働き掛ける一方で渡来でない
事実2: この作製は細胞体であるかあるいは満遍無いかどちらもである
事実3: もしもあの外車が岳でないならばその二十三日民集はアメリカ西海岸であるし働き掛ける
事実4: もし仮にあの小学生以下が広げ過ぎるならあの万寿院は広げ過ぎる
事実5: もし仮になんらかのものがアメリカ西海岸だとすると渡来である
事実6: あの小学生以下は広げ過ぎる
事実7: もし仮にその二十三日民集が渡来であるとしたらあの小学生以下は渡来でない
事実8: あの外車が満遍無いし中世法制史料集なら岳でない
事実9: もしもその二十三日民集が働き掛けるがしかし渡来であるということはないとしたらあの小学生以下は渡来でない
事実10: あの小学生以下はしょぼいし広げ過ぎる
事実11: なにかは渡来でないとしたら広げ過ぎるし加えてしょぼい
事実12: この不和は広げ過ぎるしかつ平ったい

仮説: あの小学生以下はしょぼい
1. 事実10から、仮説が導かれる

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