あの悪趣味は様良くない
fact1: もしあのＥＳＢＬＳが得すとしたらあの悪趣味は様良くない fact2: もし「なんらかの物は見過ごし難くないけれどそれは罹り易い」ということは正しいとするとそれは得す fact3: あのＥＳＢＬＳは物凄まじい fact4: もしあのＥＳＢＬＳが物凄まじいならば見過ごし難くないが罹り易い
fact2 -> int1: もしあのＥＳＢＬＳは見過ごし難くないけど罹り易いならばそれは得す; fact3 & fact4 -> int2: あのＥＳＢＬＳは見過ごし難くないけど罹り易い; int1 & int2 -> int3: あのＥＳＢＬＳは得す; int3 & fact1 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact3 & fact4 -> int2: (¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact1 -> hypothesis;
$facts$ = fact1: もしあのＥＳＢＬＳが得すとしたらあの悪趣味は様良くない fact2: もし「なんらかの物は見過ごし難くないけれどそれは罹り易い」ということは正しいとするとそれは得す fact3: あのＥＳＢＬＳは物凄まじい fact4: もしあのＥＳＢＬＳが物凄まじいならば見過ごし難くないが罹り易い ; $hypothesis$ = あの悪趣味は様良くない ; $proof$ = 
fact2 -> int1: もしあのＥＳＢＬＳは見過ごし難くないけど罹り易いならばそれは得す; fact3 & fact4 -> int2: あのＥＳＢＬＳは見過ごし難くないけど罹り易い; int1 & int2 -> int3: あのＥＳＢＬＳは得す; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしあのＥＳＢＬＳが得すとしたらあの悪趣味は様良くない
事実2: もし「なんらかの物は見過ごし難くないけれどそれは罹り易い」ということは正しいとするとそれは得す
事実3: あのＥＳＢＬＳは物凄まじい
事実4: もしあのＥＳＢＬＳが物凄まじいならば見過ごし難くないが罹り易い

仮説: あの悪趣味は様良くない
1. 事実2から、推論1: "もしあのＥＳＢＬＳは見過ごし難くないけど罹り易いならばそれは得す"が導かれる
2. 事実3と事実4から、推論2: "あのＥＳＢＬＳは見過ごし難くないけど罹り易い"が導かれる
3. 推論1と推論2から、推論3: "あのＥＳＢＬＳは得す"が導かれる
4. 推論3と事実1から、仮説が導かれる

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