あのプロシージャは空しい
fact1: もしもこの十干が笑まない一方でそれがスクリーニングするとしたらこの長期計画策定はスクリーニングしない fact2: その業績は空しい fact3: もしもある物が消化機能でないとすればそれは千万人であるしそれは空しい fact4: あのプロシージャは空しい fact5: あのプロシージャは集め易い fact6: 「何らかの物はサツマ揚げでない一方で消化機能だ」ということは成り立たないならそれは消化機能であるということはない fact7: あのプロシージャは千万人だ fact8: あのプロシージャは見出だす fact9: もしもなんらかの物が御偉くないとしたら消化機能であるしそれは千万人である fact10: この胚移植は空しい fact11: もしこの長期計画策定がスクリーニングしないならばその水栓は身売りするし更にサツマ揚げだ fact12: もしこの沖田黒豚が朱書きでないけれどそれが心憎いならばあの水栓は心憎い fact13: もし仮になんらかの物が類推適用しないとしたらそれは朱書きでなくてかつそれは心憎い fact14: この十干は笑むということはないがしかしスクリーニングする fact15: もしとあるものが心憎いしそれにサツマ揚げだとするとこの辞去は御偉いということはない fact16: この地域社会全体は空しい fact17: この沖田黒豚は類推適用しない
fact4 -> hypothesis;
fact4 -> hypothesis;
「その凹地は空しい」ということは事実である
fact18 -> int1: その凹地が消化機能でないならばそれが千万人だしそれは空しい; fact19 -> int2: もし仮に「その凹地はサツマ揚げだということはないが消化機能である」ということは成り立つということはないとすると消化機能でない;
$facts$ = fact1: もしもこの十干が笑まない一方でそれがスクリーニングするとしたらこの長期計画策定はスクリーニングしない fact2: その業績は空しい fact3: もしもある物が消化機能でないとすればそれは千万人であるしそれは空しい fact4: あのプロシージャは空しい fact5: あのプロシージャは集め易い fact6: 「何らかの物はサツマ揚げでない一方で消化機能だ」ということは成り立たないならそれは消化機能であるということはない fact7: あのプロシージャは千万人だ fact8: あのプロシージャは見出だす fact9: もしもなんらかの物が御偉くないとしたら消化機能であるしそれは千万人である fact10: この胚移植は空しい fact11: もしこの長期計画策定がスクリーニングしないならばその水栓は身売りするし更にサツマ揚げだ fact12: もしこの沖田黒豚が朱書きでないけれどそれが心憎いならばあの水栓は心憎い fact13: もし仮になんらかの物が類推適用しないとしたらそれは朱書きでなくてかつそれは心憎い fact14: この十干は笑むということはないがしかしスクリーニングする fact15: もしとあるものが心憎いしそれにサツマ揚げだとするとこの辞去は御偉いということはない fact16: この地域社会全体は空しい fact17: この沖田黒豚は類推適用しない ; $hypothesis$ = あのプロシージャは空しい ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしもこの十干が笑まない一方でそれがスクリーニングするとしたらこの長期計画策定はスクリーニングしない
事実2: その業績は空しい
事実3: もしもある物が消化機能でないとすればそれは千万人であるしそれは空しい
事実4: あのプロシージャは空しい
事実5: あのプロシージャは集め易い
事実6: 「何らかの物はサツマ揚げでない一方で消化機能だ」ということは成り立たないならそれは消化機能であるということはない
事実7: あのプロシージャは千万人だ
事実8: あのプロシージャは見出だす
事実9: もしもなんらかの物が御偉くないとしたら消化機能であるしそれは千万人である
事実10: この胚移植は空しい
事実11: もしこの長期計画策定がスクリーニングしないならばその水栓は身売りするし更にサツマ揚げだ
事実12: もしこの沖田黒豚が朱書きでないけれどそれが心憎いならばあの水栓は心憎い
事実13: もし仮になんらかの物が類推適用しないとしたらそれは朱書きでなくてかつそれは心憎い
事実14: この十干は笑むということはないがしかしスクリーニングする
事実15: もしとあるものが心憎いしそれにサツマ揚げだとするとこの辞去は御偉いということはない
事実16: この地域社会全体は空しい
事実17: この沖田黒豚は類推適用しない

仮説: あのプロシージャは空しい
1. 事実4から、仮説が導かれる

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