あのぷわぷえLv.98は無声化し易くない
fact1: もしもあのぷわぷえLv.98が持ち易いならあのぷわぷえLv.98は無声化し易くないけど発現し易い fact2: もし仮にあのぷわぷえLv.98が繕わないとするとそれは持ち易いしおまけにそれは思い切る fact3: あらゆるモンスターは無声化し易い fact4: 仮にあのぷわぷえLv.98は持ち易くないとしたら「このぴにゅぴちょLv.4は持ち易くない」ということは事実と異ならない fact5: もしも何らかのモンスターが持ち易くないとしたら無声化し易いしその上発現し易い
fact3 -> int1: あらゆるモンスターは無声化し易い; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
あのぷわぷえLv.98は無声化し易くない
$facts$ = fact1: もしもあのぷわぷえLv.98が持ち易いならあのぷわぷえLv.98は無声化し易くないけど発現し易い fact2: もし仮にあのぷわぷえLv.98が繕わないとするとそれは持ち易いしおまけにそれは思い切る fact3: あらゆるモンスターは無声化し易い fact4: 仮にあのぷわぷえLv.98は持ち易くないとしたら「このぴにゅぴちょLv.4は持ち易くない」ということは事実と異ならない fact5: もしも何らかのモンスターが持ち易くないとしたら無声化し易いしその上発現し易い ; $hypothesis$ = あのぷわぷえLv.98は無声化し易くない ; $proof$ = 
fact3 -> int1: あらゆるモンスターは無声化し易い; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__