このぴねぴにゅLv.57は新しくない
fact1: このぽやぽわLv.28は御し易くないしおまけにそれは空々しいということはない fact2: あのみちょみにゃLv.6は空々しい fact3: このぽやぽわLv.28は御し易くなくて空々しくないとすると「このぴねぴにゅLv.57は新しい」ということは本当だ
fact1 -> int1: このぽやぽわLv.28は御し易くないしおまけにそれは空々しいということはない; int1 & fact3 -> hypothesis;
fact1 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact3 -> hypothesis;
$facts$ = fact1: このぽやぽわLv.28は御し易くないしおまけにそれは空々しいということはない fact2: あのみちょみにゃLv.6は空々しい fact3: このぽやぽわLv.28は御し易くなくて空々しくないとすると「このぴねぴにゅLv.57は新しい」ということは本当だ ; $hypothesis$ = このぴねぴにゅLv.57は新しくない ; $proof$ = 
fact1 -> int1: このぽやぽわLv.28は御し易くないしおまけにそれは空々しいということはない; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact3 -> hypothesis; __DISPROVED__