ぷくぷちょLv.31事件は生じない
fact1: 仮に恭しいということが生じるかもしくはぽなぽわLv.71事件が起こるならぷくぷちょLv.31事件は起きない fact2: ぽなぽわLv.71事件と溺死することが発生する
fact2 -> int1: ぽなぽわLv.71事件が生じる; int1 -> int2: 恭しいということかぽなぽわLv.71事件かまたは両方が起きる; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 -> int2: ({C} v {A}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 仮に恭しいということが生じるかもしくはぽなぽわLv.71事件が起こるならぷくぷちょLv.31事件は起きない fact2: ぽなぽわLv.71事件と溺死することが発生する ; $hypothesis$ = ぷくぷちょLv.31事件は生じない ; $proof$ = 
fact2 -> int1: ぽなぽわLv.71事件が生じる; int1 -> int2: 恭しいということかぽなぽわLv.71事件かまたは両方が起きる; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 -> int2: ({C} v {A}); int2 & fact1 -> hypothesis; __PROVED__