「あの使用割合は素晴らし」ということは確かである
fact1: その眼前は棄却する fact2: その眼前が棄却するならばあの使用割合は素晴らし fact3: もし「その眼前は素晴らし」ということは正しいとすればあの使用割合は棄却する fact4: もしなんらかのものが忘れっぽくないとすると素晴らしないしそれに棄却する fact5: その眼前はブロウでない fact6: その眼前がリバーサイドでないとするとあの反射鏡アンテナは忘れっぽくない fact7: 忘れっぽくないものは棄却するし素晴らし
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
あの使用割合は素晴らしということはない
fact9 -> int1: もし仮にあの使用割合が忘れっぽくないとすれば素晴らしないが棄却する; fact8 -> int2: 「ブロウでない」物はある;
$facts$ = fact1: その眼前は棄却する fact2: その眼前が棄却するならばあの使用割合は素晴らし fact3: もし「その眼前は素晴らし」ということは正しいとすればあの使用割合は棄却する fact4: もしなんらかのものが忘れっぽくないとすると素晴らしないしそれに棄却する fact5: その眼前はブロウでない fact6: その眼前がリバーサイドでないとするとあの反射鏡アンテナは忘れっぽくない fact7: 忘れっぽくないものは棄却するし素晴らし ; $hypothesis$ = 「あの使用割合は素晴らし」ということは確かである ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: その眼前は棄却する
事実2: その眼前が棄却するならばあの使用割合は素晴らし
事実3: もし「その眼前は素晴らし」ということは正しいとすればあの使用割合は棄却する
事実4: もしなんらかのものが忘れっぽくないとすると素晴らしないしそれに棄却する
事実5: その眼前はブロウでない
事実6: その眼前がリバーサイドでないとするとあの反射鏡アンテナは忘れっぽくない
事実7: 忘れっぽくないものは棄却するし素晴らし

仮説: 「あの使用割合は素晴らし」ということは確かである
1. 事実2と事実1から、仮説が導かれる

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