ぴにゃぴくLv.24事件は生じない
fact1: もにゅもにょLv.12事件は起こらない fact2: 「偉いということが起こる」ということは事実である fact3: もえもくLv.32事件はもちゅもよLv.90事件およびもにゅもにょLv.12事件が起きるに阻止される fact4: 意地悪いということは生じない fact5: 餓鬼っぽいということが起こる fact6: 意地悪いということは起こらないということは見過ごせることおよびまどろっこしいということが起こるのきっかけとなる fact7: 「まどろっこしいということは発生しない」ということは見過ごせることとぴにゃぴくLv.24事件が発生するに繋がる fact8: もしまどろっこしいということが起きるしその上餓鬼っぽいということが起きればぴにゃぴくLv.24事件は起こらない fact9: 「意地悪いということは起きない」ということは見過ごせることは起きないということを回避する
fact6 & fact4 -> int1: 「見過ごせることおよびまどろっこしいということどちらもが起こる」ということは成り立つ; int1 -> int2: まどろっこしいということが発生する; int2 & fact5 -> int3: まどろっこしいということと餓鬼っぽいということ両方が発生する; int3 & fact8 -> hypothesis;
fact6 & fact4 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact5 -> int3: ({B} & {C}); int3 & fact8 -> hypothesis;
ぴにゃぴくLv.24事件が発生する
$facts$ = fact1: もにゅもにょLv.12事件は起こらない fact2: 「偉いということが起こる」ということは事実である fact3: もえもくLv.32事件はもちゅもよLv.90事件およびもにゅもにょLv.12事件が起きるに阻止される fact4: 意地悪いということは生じない fact5: 餓鬼っぽいということが起こる fact6: 意地悪いということは起こらないということは見過ごせることおよびまどろっこしいということが起こるのきっかけとなる fact7: 「まどろっこしいということは発生しない」ということは見過ごせることとぴにゃぴくLv.24事件が発生するに繋がる fact8: もしまどろっこしいということが起きるしその上餓鬼っぽいということが起きればぴにゃぴくLv.24事件は起こらない fact9: 「意地悪いということは起きない」ということは見過ごせることは起きないということを回避する ; $hypothesis$ = ぴにゃぴくLv.24事件は生じない ; $proof$ = 
fact6 & fact4 -> int1: 「見過ごせることおよびまどろっこしいということどちらもが起こる」ということは成り立つ; int1 -> int2: まどろっこしいということが発生する; int2 & fact5 -> int3: まどろっこしいということと餓鬼っぽいということ両方が発生する; int3 & fact8 -> hypothesis; __PROVED__
fact6 & fact4 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact5 -> int3: ({B} & {C}); int3 & fact8 -> hypothesis; __PROVED__