そのぴにゃぴにゅLv.55は排除する
fact1: 「そのぴいぴにゃLv.28は落ち易くない」ということは間違いであるということはない fact2: そのぴにゃぴにゅLv.55は嘆かわしくなくて怪しくない fact3: そのぴにゃぴにゅLv.55は落ち易くない fact4: もし仮にそのみわみくLv.27が曇り無しないし落ち易くないとしたらそのぴにゃぴにゅLv.55は排除しない fact5: そのみわみくLv.27は曇り無しないしかつそれは落ち易いということはない
fact5 -> int1: そのみわみくLv.27は曇り無しないしかつそれは落ち易いということはない; int1 & fact4 -> hypothesis;
fact5 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact4 -> hypothesis;
$facts$ = fact1: 「そのぴいぴにゃLv.28は落ち易くない」ということは間違いであるということはない fact2: そのぴにゃぴにゅLv.55は嘆かわしくなくて怪しくない fact3: そのぴにゃぴにゅLv.55は落ち易くない fact4: もし仮にそのみわみくLv.27が曇り無しないし落ち易くないとしたらそのぴにゃぴにゅLv.55は排除しない fact5: そのみわみくLv.27は曇り無しないしかつそれは落ち易いということはない ; $hypothesis$ = そのぴにゃぴにゅLv.55は排除する ; $proof$ = 
fact5 -> int1: そのみわみくLv.27は曇り無しないしかつそれは落ち易いということはない; int1 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact4 -> hypothesis; __DISPROVED__