このムッラーは堪える
fact1: もしその三井寺がむんむんするかあるいは所行であるかまたは両方ともならこのムッラーは所行でない fact2: このヨーロッパ委員会は堪える fact3: 漏れ無くない物は所行であるかまたは格好悪い fact4: このムッラーは堪える fact5: あの定説は堪える fact6: このムッラーは診断出来る fact7: もし「このエンプロイメントは左室流入血流速波形でないかあるいはそれは整理統合するということはないかもしくは両方ともである」ということは成り立つということはないとすればあの入学は財政支援でない fact8: この盛衰は堪える fact9: あの入学が漏れ無いとするとその三井寺は所行だ fact10: このムッラーは学び為さる fact11: もしなにかは財政支援であるということはないとすればそれは漏れ無くてさらに継続し難い fact12: もし何かは所行でないならば堪えないけれど格好悪い
fact4 -> hypothesis;
fact4 -> hypothesis;
あの伊勢参宮名所図会は堪える
fact13 -> int1: もしこのムッラーが漏れ無くないならそれは所行であるかあるいはそれは格好悪い;
$facts$ = fact1: もしその三井寺がむんむんするかあるいは所行であるかまたは両方ともならこのムッラーは所行でない fact2: このヨーロッパ委員会は堪える fact3: 漏れ無くない物は所行であるかまたは格好悪い fact4: このムッラーは堪える fact5: あの定説は堪える fact6: このムッラーは診断出来る fact7: もし「このエンプロイメントは左室流入血流速波形でないかあるいはそれは整理統合するということはないかもしくは両方ともである」ということは成り立つということはないとすればあの入学は財政支援でない fact8: この盛衰は堪える fact9: あの入学が漏れ無いとするとその三井寺は所行だ fact10: このムッラーは学び為さる fact11: もしなにかは財政支援であるということはないとすればそれは漏れ無くてさらに継続し難い fact12: もし何かは所行でないならば堪えないけれど格好悪い ; $hypothesis$ = このムッラーは堪える ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしその三井寺がむんむんするかあるいは所行であるかまたは両方ともならこのムッラーは所行でない
事実2: このヨーロッパ委員会は堪える
事実3: 漏れ無くない物は所行であるかまたは格好悪い
事実4: このムッラーは堪える
事実5: あの定説は堪える
事実6: このムッラーは診断出来る
事実7: もし「このエンプロイメントは左室流入血流速波形でないかあるいはそれは整理統合するということはないかもしくは両方ともである」ということは成り立つということはないとすればあの入学は財政支援でない
事実8: この盛衰は堪える
事実9: あの入学が漏れ無いとするとその三井寺は所行だ
事実10: このムッラーは学び為さる
事実11: もしなにかは財政支援であるということはないとすればそれは漏れ無くてさらに継続し難い
事実12: もし何かは所行でないならば堪えないけれど格好悪い

仮説: このムッラーは堪える
1. 事実4から、仮説が導かれる

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