熟し切ることが起こるかもねもにゃLv.44事件が起こる
fact1: ぷやぷにゃLv.4事件および熟し切ることが生じる fact2: もしもぷやぷにゃLv.4事件は発生しないとしたら「熟し切ることかあるいはもねもにゃLv.44事件かどちらもが生じる」ということは間違っている
fact1 -> int1: 熟し切ることが起こる; int1 -> hypothesis;
fact1 -> int1: {B}; int1 -> hypothesis;
「熟し切ることが起こるかもしくはもねもにゃLv.44事件が生じるかまたはどちらもである」ということは成り立つということはない
$facts$ = fact1: ぷやぷにゃLv.4事件および熟し切ることが生じる fact2: もしもぷやぷにゃLv.4事件は発生しないとしたら「熟し切ることかあるいはもねもにゃLv.44事件かどちらもが生じる」ということは間違っている ; $hypothesis$ = 熟し切ることが起こるかもねもにゃLv.44事件が起こる ; $proof$ = 
fact1 -> int1: 熟し切ることが起こる; int1 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 -> hypothesis; __PROVED__