そのぴよぴにゃLv.38は全面降伏する
fact1: もし仮にあのぽゆぽねLv.77は由々しくないとしたら「このまわまやLv.3は色っぽくてまたそれは由々しい」ということは成り立たない fact2: あのぽゆぽねLv.77は済ま無くない fact3: あのぽゆぽねLv.77は寝坊する fact4: もしもあのぽゆぽねLv.77は済ま無くないけれど寝坊するとしたら由々しくない fact5: 色っぽいモンスターは全面降伏する
fact2 & fact3 -> int1: あのぽゆぽねLv.77は済ま無くないがしかし寝坊する; fact4 & int1 -> int2: あのぽゆぽねLv.77は由々しくない; int2 & fact1 -> int3: 「「このまわまやLv.3は色っぽくて由々しい」ということは真実である」ということは間違いである;
fact2 & fact3 -> int1: (¬{AA}{a} & {AB}{a}); fact4 & int1 -> int2: ¬{B}{a}; int2 & fact1 -> int3: ¬({A}{b} & {B}{b});
そのぴよぴにゃLv.38は全面降伏する
fact6 -> int4: もしもそのぴよぴにゃLv.38が色っぽいとしたら全面降伏する;
$facts$ = fact1: もし仮にあのぽゆぽねLv.77は由々しくないとしたら「このまわまやLv.3は色っぽくてまたそれは由々しい」ということは成り立たない fact2: あのぽゆぽねLv.77は済ま無くない fact3: あのぽゆぽねLv.77は寝坊する fact4: もしもあのぽゆぽねLv.77は済ま無くないけれど寝坊するとしたら由々しくない fact5: 色っぽいモンスターは全面降伏する ; $hypothesis$ = そのぴよぴにゃLv.38は全面降伏する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__