打ち易いということが起きるしぴなぴのLv.72事件が生じる
fact1: 悪戯っぽいということは生じないということは「暗躍することが起こらないし切れることは生じない」ということをもたらす fact2: 切れることは起きない fact3: 悪戯っぽいということは起きない fact4: 切れることは悪戯っぽいということは発生しないということに防がれる fact5: 打ち易いということが起きる fact6: 「厳しいということは起こらない」ということは打ち易いということは起こらないということを回避する fact7: 仮に厳しいということは起こらないなら打ち易いということが起きるしぴなぴのLv.72事件が生じる
fact1 & fact3 -> int1: 暗躍することが生じないし切れることは発生しない;
fact1 & fact3 -> int1: (¬{AA} & ¬{AB});
「打ち易いということとぴなぴのLv.72事件両方が生じる」ということは偽である
 -> hypothesis;
$facts$ = fact1: 悪戯っぽいということは生じないということは「暗躍することが起こらないし切れることは生じない」ということをもたらす fact2: 切れることは起きない fact3: 悪戯っぽいということは起きない fact4: 切れることは悪戯っぽいということは発生しないということに防がれる fact5: 打ち易いということが起きる fact6: 「厳しいということは起こらない」ということは打ち易いということは起こらないということを回避する fact7: 仮に厳しいということは起こらないなら打ち易いということが起きるしぴなぴのLv.72事件が生じる ; $hypothesis$ = 打ち易いということが起きるしぴなぴのLv.72事件が生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__