あの金額欄はすりゃ良いということはない
fact1: 鑑賞し易い物はすりゃ良い fact2: もしもあの金額欄が鑑賞し易いということはなくてかつ対象事業でないとするとこの画像表示は鑑賞し易くない fact3: 酒豪はてきぱきする fact4: もしなにがしかのものはてきぱきすれば「すりゃ良い」ということは成り立つ fact5: あの金額欄が鑑賞し易いということはないならばそれはすりゃ良いということはない fact6: あの金額欄は鑑賞し易くない fact7: そのイブは親孝行しない
fact5 & fact6 -> hypothesis;
あの金額欄はすりゃ良い
fact8 -> int1: もしあの金額欄が鑑賞し易いとしたらすりゃ良い;
$facts$ = fact1: 鑑賞し易い物はすりゃ良い fact2: もしもあの金額欄が鑑賞し易いということはなくてかつ対象事業でないとするとこの画像表示は鑑賞し易くない fact3: 酒豪はてきぱきする fact4: もしなにがしかのものはてきぱきすれば「すりゃ良い」ということは成り立つ fact5: あの金額欄が鑑賞し易いということはないならばそれはすりゃ良いということはない fact6: あの金額欄は鑑賞し易くない fact7: そのイブは親孝行しない ; $hypothesis$ = あの金額欄はすりゃ良いということはない ; $proof$ = 
fact5 & fact6 -> hypothesis; __PROVED__
事実1: 鑑賞し易い物はすりゃ良い
事実2: もしもあの金額欄が鑑賞し易いということはなくてかつ対象事業でないとするとこの画像表示は鑑賞し易くない
事実3: 酒豪はてきぱきする
事実4: もしなにがしかのものはてきぱきすれば「すりゃ良い」ということは成り立つ
事実5: あの金額欄が鑑賞し易いということはないならばそれはすりゃ良いということはない
事実6: あの金額欄は鑑賞し易くない
事実7: そのイブは親孝行しない

仮説: あの金額欄はすりゃ良いということはない
1. 事実5と事実6から、仮説が導かれる

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