何らかの物は苦々しいということはないしまた恨めしいということはない
fact1: 「苦々しいということはない」物はある fact2: そのケース文は恨めしくない fact3: そのケース文は苦々しかない
fact3 & fact2 -> int1: そのケース文は苦々しかなくておまけに恨めしくない; int1 -> hypothesis;
fact3 & fact2 -> int1: (¬{A}{a} & ¬{B}{a}); int1 -> hypothesis;
$facts$ = fact1: 「苦々しいということはない」物はある fact2: そのケース文は恨めしくない fact3: そのケース文は苦々しかない ; $hypothesis$ = 何らかの物は苦々しいということはないしまた恨めしいということはない ; $proof$ = 
fact3 & fact2 -> int1: そのケース文は苦々しかなくておまけに恨めしくない; int1 -> hypothesis; __PROVED__
事実1: 「苦々しいということはない」物はある
事実2: そのケース文は恨めしくない
事実3: そのケース文は苦々しかない

仮説: 何らかの物は苦々しいということはないしまた恨めしいということはない
1. 事実3と事実2から、推論1: "そのケース文は苦々しかなくておまけに恨めしくない"が導かれる
2. 推論1から、仮説が導かれる

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