この中国語学は食べ物屋だ
fact1: この中国語学は追い立てる fact2: もしあのゲベルツトラミネールが離心率だしそれは縮小するならばあの中国語学はせこくない fact3: 「あの現象世界は食べ物屋である」ということは成り立つ fact4: せこいということはないものは食べ物屋でない fact5: この中国語学は発揮し易い fact6: その根津神社は食べ物屋である fact7: 仮になんらかの物が食べ物屋であるかまたは離心率でないかあるいはどちらもだとしたら食べ物屋だ fact8: この中国語学は食べ物屋だ fact9: 「この中国語学はグラフィックディスプレイである」ということは確かである fact10: 「この千九百五十年代半ばは食べ物屋である」ということは成り立つ fact11: この中国語学は中小事業所だ fact12: 「あの分隊は食べ物屋である」ということは正しい fact13: この中国語学は遠い fact14: 「この中国語学は並べ立てる」ということは確かだ fact15: この茶褐色は食べ物屋だ fact16: あのレイプは食べ物屋である
fact8 -> hypothesis;
fact8 -> hypothesis;
「この中国語学は食べ物屋でない」ということは誤りだということはない
fact18 -> int1: 仮にこの中国語学はせこくないとしたら「それは食べ物屋でない」ということは本当だ;
$facts$ = fact1: この中国語学は追い立てる fact2: もしあのゲベルツトラミネールが離心率だしそれは縮小するならばあの中国語学はせこくない fact3: 「あの現象世界は食べ物屋である」ということは成り立つ fact4: せこいということはないものは食べ物屋でない fact5: この中国語学は発揮し易い fact6: その根津神社は食べ物屋である fact7: 仮になんらかの物が食べ物屋であるかまたは離心率でないかあるいはどちらもだとしたら食べ物屋だ fact8: この中国語学は食べ物屋だ fact9: 「この中国語学はグラフィックディスプレイである」ということは確かである fact10: 「この千九百五十年代半ばは食べ物屋である」ということは成り立つ fact11: この中国語学は中小事業所だ fact12: 「あの分隊は食べ物屋である」ということは正しい fact13: この中国語学は遠い fact14: 「この中国語学は並べ立てる」ということは確かだ fact15: この茶褐色は食べ物屋だ fact16: あのレイプは食べ物屋である ; $hypothesis$ = この中国語学は食べ物屋だ ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: この中国語学は追い立てる
事実2: もしあのゲベルツトラミネールが離心率だしそれは縮小するならばあの中国語学はせこくない
事実3: 「あの現象世界は食べ物屋である」ということは成り立つ
事実4: せこいということはないものは食べ物屋でない
事実5: この中国語学は発揮し易い
事実6: その根津神社は食べ物屋である
事実7: 仮になんらかの物が食べ物屋であるかまたは離心率でないかあるいはどちらもだとしたら食べ物屋だ
事実8: この中国語学は食べ物屋だ
事実9: 「この中国語学はグラフィックディスプレイである」ということは確かである
事実10: 「この千九百五十年代半ばは食べ物屋である」ということは成り立つ
事実11: この中国語学は中小事業所だ
事実12: 「あの分隊は食べ物屋である」ということは正しい
事実13: この中国語学は遠い
事実14: 「この中国語学は並べ立てる」ということは確かだ
事実15: この茶褐色は食べ物屋だ
事実16: あのレイプは食べ物屋である

仮説: この中国語学は食べ物屋だ
1. 事実8から、仮説が導かれる

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