「用心深いということは起きなくてさらにもにゅもちゃLv.77事件は生じない」ということは偽だ
fact1: 「美々しいということが起こるしその上ぴわぴちゃLv.39事件が発生する」ということは誤りであるとすると用心深いということは起きない fact2: みにょみなLv.30事件は生じない fact3: もし「みにょみなLv.30事件は起こらない」ということは真実であるならば「美々しいということとぴわぴちゃLv.39事件両方が発生する」ということは誤りだ fact4: 「用心深いということは発生しないしその上もにゅもちゃLv.77事件は生じない」ということは「用心深いということは起きない」ということがきっかけだ
fact3 & fact2 -> int1: 「美々しいということおよびぴわぴちゃLv.39事件両方ともが生じる」ということは嘘だ; int1 & fact1 -> int2: 用心深いということは生じない; int2 & fact4 -> hypothesis;
fact3 & fact2 -> int1: ¬({AA} & {AB}); int1 & fact1 -> int2: ¬{B}; int2 & fact4 -> hypothesis;
$facts$ = fact1: 「美々しいということが起こるしその上ぴわぴちゃLv.39事件が発生する」ということは誤りであるとすると用心深いということは起きない fact2: みにょみなLv.30事件は生じない fact3: もし「みにょみなLv.30事件は起こらない」ということは真実であるならば「美々しいということとぴわぴちゃLv.39事件両方が発生する」ということは誤りだ fact4: 「用心深いということは発生しないしその上もにゅもちゃLv.77事件は生じない」ということは「用心深いということは起きない」ということがきっかけだ ; $hypothesis$ = 「用心深いということは起きなくてさらにもにゅもちゃLv.77事件は生じない」ということは偽だ ; $proof$ = 
fact3 & fact2 -> int1: 「美々しいということおよびぴわぴちゃLv.39事件両方ともが生じる」ということは嘘だ; int1 & fact1 -> int2: 用心深いということは生じない; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: ¬({AA} & {AB}); int1 & fact1 -> int2: ¬{B}; int2 & fact4 -> hypothesis; __DISPROVED__