ぷわぷいLv.41事件は発生しない
fact1: ぷなぷわLv.28事件が生じるしもねもにLv.32事件が発生する fact2: ぷわぷいLv.41事件はもねもにLv.32事件かもしくはみちゅみにゃLv.57事件に防がれる
fact1 -> int1: もねもにLv.32事件が起きる; int1 -> int2: もねもにLv.32事件かまたはみちゅみにゃLv.57事件が生じる; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: ぷなぷわLv.28事件が生じるしもねもにLv.32事件が発生する fact2: ぷわぷいLv.41事件はもねもにLv.32事件かもしくはみちゅみにゃLv.57事件に防がれる ; $hypothesis$ = ぷわぷいLv.41事件は発生しない ; $proof$ = 
fact1 -> int1: もねもにLv.32事件が起きる; int1 -> int2: もねもにLv.32事件かまたはみちゅみにゃLv.57事件が生じる; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis; __PROVED__