このぷゆぷよLv.2は集まり易い
fact1: もしもあのぽねぽなLv.94は慎ましくないとすれば「このぷゆぷよLv.2は貶むが廃らない」ということは間違っている fact2: 入れ難くないか集まり易くないかもしくは両方であるモンスターは集まり易くない fact3: あのぽねぽなLv.94は慎ましくない fact4: もしあのぽねぽなLv.94は慎ましくないとすれば「このぷゆぷよLv.2は貶まなくてさらに廃らない」ということは誤りである fact5: もしも「このぷゆぷよLv.2は貶まなくてさらに廃らない」ということは事実でないとするとこのぷゆぷよLv.2は集まり易い fact6: もしあのぽねぽなLv.94は慎ましいということはないとしたら「このぷゆぷよLv.2は貶まないがしかしそれは廃る」ということは嘘だ
fact4 & fact3 -> int1: 「このぷゆぷよLv.2は貶まなくて廃らない」ということは真実でない; int1 & fact5 -> hypothesis;
fact4 & fact3 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact5 -> hypothesis;
このぷゆぷよLv.2は集まり易くない
fact7 -> int2: もしもこのぷゆぷよLv.2が入れ難いということはないか集まり易くないとしたらこのぷゆぷよLv.2は集まり易くない;
$facts$ = fact1: もしもあのぽねぽなLv.94は慎ましくないとすれば「このぷゆぷよLv.2は貶むが廃らない」ということは間違っている fact2: 入れ難くないか集まり易くないかもしくは両方であるモンスターは集まり易くない fact3: あのぽねぽなLv.94は慎ましくない fact4: もしあのぽねぽなLv.94は慎ましくないとすれば「このぷゆぷよLv.2は貶まなくてさらに廃らない」ということは誤りである fact5: もしも「このぷゆぷよLv.2は貶まなくてさらに廃らない」ということは事実でないとするとこのぷゆぷよLv.2は集まり易い fact6: もしあのぽねぽなLv.94は慎ましいということはないとしたら「このぷゆぷよLv.2は貶まないがしかしそれは廃る」ということは嘘だ ; $hypothesis$ = このぷゆぷよLv.2は集まり易い ; $proof$ = 
fact4 & fact3 -> int1: 「このぷゆぷよLv.2は貶まなくて廃らない」ということは真実でない; int1 & fact5 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact5 -> hypothesis; __PROVED__