あのμＬはエリアステーションだ
fact1: あのμＬは加工し易い fact2: その非常勤化はペルシア語である fact3: その名山はペルシア語である fact4: あのμＬは人懐こくてそれは現われ易い fact5: その非常勤化が繰り返し数でないとすれば思しし派遣する fact6: もしもその証明謄本が派遣するならそれは御節介だ fact7: あのμＬはエリアステーションでそれにペルシア語である fact8: もしその非常勤化が派遣するならばあの証明謄本は派遣する fact9: この日本風景論はエリアステーションだ fact10: もし仮にある物がすっごいということはないとすればペルシア語でしどけなくない fact11: あのμＬは低温用である fact12: あのμＬは生々しい fact13: この早期胃癌はペルシア語だ fact14: あのμＬは野営する fact15: あのμＬはペルシア語だ fact16: その時間要素はペルシア語である fact17: この人種問題はエリアステーションである fact18: もしなんらかのものは御節介であるとしたらそれはすっごくない
fact7 -> hypothesis;
あのμＬはエリアステーションでない
fact21 -> int1: もし仮にその証明謄本がすっごくないならばそれはペルシア語であるしかつしどけなくない; fact22 -> int2: 仮にその証明謄本が御節介ならばすっごくない;
$facts$ = fact1: あのμＬは加工し易い fact2: その非常勤化はペルシア語である fact3: その名山はペルシア語である fact4: あのμＬは人懐こくてそれは現われ易い fact5: その非常勤化が繰り返し数でないとすれば思しし派遣する fact6: もしもその証明謄本が派遣するならそれは御節介だ fact7: あのμＬはエリアステーションでそれにペルシア語である fact8: もしその非常勤化が派遣するならばあの証明謄本は派遣する fact9: この日本風景論はエリアステーションだ fact10: もし仮にある物がすっごいということはないとすればペルシア語でしどけなくない fact11: あのμＬは低温用である fact12: あのμＬは生々しい fact13: この早期胃癌はペルシア語だ fact14: あのμＬは野営する fact15: あのμＬはペルシア語だ fact16: その時間要素はペルシア語である fact17: この人種問題はエリアステーションである fact18: もしなんらかのものは御節介であるとしたらそれはすっごくない ; $hypothesis$ = あのμＬはエリアステーションだ ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: あのμＬは加工し易い
事実2: その非常勤化はペルシア語である
事実3: その名山はペルシア語である
事実4: あのμＬは人懐こくてそれは現われ易い
事実5: その非常勤化が繰り返し数でないとすれば思しし派遣する
事実6: もしもその証明謄本が派遣するならそれは御節介だ
事実7: あのμＬはエリアステーションでそれにペルシア語である
事実8: もしその非常勤化が派遣するならばあの証明謄本は派遣する
事実9: この日本風景論はエリアステーションだ
事実10: もし仮にある物がすっごいということはないとすればペルシア語でしどけなくない
事実11: あのμＬは低温用である
事実12: あのμＬは生々しい
事実13: この早期胃癌はペルシア語だ
事実14: あのμＬは野営する
事実15: あのμＬはペルシア語だ
事実16: その時間要素はペルシア語である
事実17: この人種問題はエリアステーションである
事実18: もしなんらかのものは御節介であるとしたらそれはすっごくない

仮説: あのμＬはエリアステーションだ
1. 事実7から、仮説が導かれる

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