打ち上がり易いということは起きない
fact1: 「まにゃまのLv.45事件は発生しない」ということはソートすることを回避する fact2: ぴねぴにLv.95事件は打ち上がり易いということをもたらす fact3: まにゃまのLv.45事件は発生しない fact4: まにゃまのLv.45事件は起こらないということは「ぴねぴにLv.95事件が生じるけどソートすることは起こらない」ということを招く
fact4 & fact3 -> int1: ぴねぴにLv.95事件が起きるしソートすることは起こらない; int1 -> int2: ぴねぴにLv.95事件が起きる; int2 & fact2 -> hypothesis;
fact4 & fact3 -> int1: ({AA} & ¬{AB}); int1 -> int2: {AA}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 「まにゃまのLv.45事件は発生しない」ということはソートすることを回避する fact2: ぴねぴにLv.95事件は打ち上がり易いということをもたらす fact3: まにゃまのLv.45事件は発生しない fact4: まにゃまのLv.45事件は起こらないということは「ぴねぴにLv.95事件が生じるけどソートすることは起こらない」ということを招く ; $hypothesis$ = 打ち上がり易いということは起きない ; $proof$ = 
fact4 & fact3 -> int1: ぴねぴにLv.95事件が起きるしソートすることは起こらない; int1 -> int2: ぴねぴにLv.95事件が起きる; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: ({AA} & ¬{AB}); int1 -> int2: {AA}; int2 & fact2 -> hypothesis; __DISPROVED__