あの陽明脈は投石する
fact1: あの棚卸し資産原価配分は投石する fact2: 「あの鞭毛は投石する」ということは真実だ fact3: あの陽明脈は投石する fact4: あの陽明脈は貧する fact5: あの陽明脈は切り落とす fact6: もし仮に「「あの陽明脈は願望しないけど百分率だ」ということは成り立たない」ということは事実と異ならないなら末恐ろしいということはない fact7: もしも乗り難くないものがきもいということはないならばそれは投石する fact8: もし仮に「あの陽明脈は末恐ろしくない」ということは成り立つならそれはマッサージ出来るしかつ人懐っこい fact9: その各階は投石する
fact3 -> hypothesis;
fact3 -> hypothesis;
その尾小屋鉄道は投石する
fact10 -> int1: もしその尾小屋鉄道が乗り難くないしきもくないならば投石する;
$facts$ = fact1: あの棚卸し資産原価配分は投石する fact2: 「あの鞭毛は投石する」ということは真実だ fact3: あの陽明脈は投石する fact4: あの陽明脈は貧する fact5: あの陽明脈は切り落とす fact6: もし仮に「「あの陽明脈は願望しないけど百分率だ」ということは成り立たない」ということは事実と異ならないなら末恐ろしいということはない fact7: もしも乗り難くないものがきもいということはないならばそれは投石する fact8: もし仮に「あの陽明脈は末恐ろしくない」ということは成り立つならそれはマッサージ出来るしかつ人懐っこい fact9: その各階は投石する ; $hypothesis$ = あの陽明脈は投石する ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: あの棚卸し資産原価配分は投石する
事実2: 「あの鞭毛は投石する」ということは真実だ
事実3: あの陽明脈は投石する
事実4: あの陽明脈は貧する
事実5: あの陽明脈は切り落とす
事実6: もし仮に「「あの陽明脈は願望しないけど百分率だ」ということは成り立たない」ということは事実と異ならないなら末恐ろしいということはない
事実7: もしも乗り難くないものがきもいということはないならばそれは投石する
事実8: もし仮に「あの陽明脈は末恐ろしくない」ということは成り立つならそれはマッサージ出来るしかつ人懐っこい
事実9: その各階は投石する

仮説: あの陽明脈は投石する
1. 事実3から、仮説が導かれる

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