「あのぽちゅぽねLv.90はえげつないモンスターでおまけに弱々しい」ということは事実と異なる
fact1: もし仮にそのぽやぽくLv.74が赤っぽいならそれは覚束無い fact2: 「そのぽやぽくLv.74はすげないけどそれは長くない」ということは成り立つということはないならばあのぽちゅぽねLv.90はえげつない fact3: 「そのぽやぽくLv.74は赤っぽい」ということは本当だ fact4: そのぽやぽくLv.74は覚束無いとすれば「そのぽやぽくLv.74はすげないがしかし長くない」ということは偽である
fact1 & fact3 -> int1: 「そのぽやぽくLv.74は覚束無い」ということは本当だ; fact4 & int1 -> int2: 「そのぽやぽくLv.74はすげないけど長いということはない」ということは誤りだ; int2 & fact2 -> int3: 「あのぽちゅぽねLv.90はえげつない」ということは確かである;
fact1 & fact3 -> int1: {A}{a}; fact4 & int1 -> int2: ¬({AA}{a} & ¬{AB}{a}); int2 & fact2 -> int3: {B}{b};
$facts$ = fact1: もし仮にそのぽやぽくLv.74が赤っぽいならそれは覚束無い fact2: 「そのぽやぽくLv.74はすげないけどそれは長くない」ということは成り立つということはないならばあのぽちゅぽねLv.90はえげつない fact3: 「そのぽやぽくLv.74は赤っぽい」ということは本当だ fact4: そのぽやぽくLv.74は覚束無いとすれば「そのぽやぽくLv.74はすげないがしかし長くない」ということは偽である ; $hypothesis$ = 「あのぽちゅぽねLv.90はえげつないモンスターでおまけに弱々しい」ということは事実と異なる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__