あのぷにゅぷやLv.1は御悪くない
fact1: 仮にあのぷにゅぷやLv.1が詳しくないしそれがとんがるということはないならばあのぷにゅぷやLv.1は御悪い fact2: あのぷにゅぷやLv.1は詳しくないし加えてそれはとんがらない
fact2 -> int1: あのぷにゅぷやLv.1は詳しくないし加えてそれはとんがらない; int1 & fact1 -> hypothesis;
fact2 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 仮にあのぷにゅぷやLv.1が詳しくないしそれがとんがるということはないならばあのぷにゅぷやLv.1は御悪い fact2: あのぷにゅぷやLv.1は詳しくないし加えてそれはとんがらない ; $hypothesis$ = あのぷにゅぷやLv.1は御悪くない ; $proof$ = 
fact2 -> int1: あのぷにゅぷやLv.1は詳しくないし加えてそれはとんがらない; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact1 -> hypothesis; __DISPROVED__