このぽのぽやLv.68はテイクアウトする
fact1: 「あのぷにゃぷくLv.58は厭わしくないかあるいはそれは如才無い」ということは誤りである fact2: このみにゅみねLv.4は如才無い fact3: もし仮に「「あるモンスターは厭わしくないかあるいは如才無いかどちらもである」ということは成り立つ」ということは嘘ならばそれは新し
fact3 -> int1: もし「あのぷにゃぷくLv.58は厭わしくないかもしくはそれは如才無いか両方である」ということは真実でないとすると新し; int1 & fact1 -> int2: あのぷにゃぷくLv.58は新し;
fact3 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa};
$facts$ = fact1: 「あのぷにゃぷくLv.58は厭わしくないかあるいはそれは如才無い」ということは誤りである fact2: このみにゅみねLv.4は如才無い fact3: もし仮に「「あるモンスターは厭わしくないかあるいは如才無いかどちらもである」ということは成り立つ」ということは嘘ならばそれは新し ; $hypothesis$ = このぽのぽやLv.68はテイクアウトする ; $proof$ = 
__UNKNOWN__
__UNKNOWN__