ぴちゅぴよLv.82事件は起こらない
fact1: 口ずさむことが発生する fact2: ぴちゅぴよLv.82事件は「もえもえLv.86事件が起きるかもしくは湿気易いということが発生する」ということに防がれる fact3: 「もえもえLv.86事件が発生する」ということは口ずさむことがきっかけだ
fact3 & fact1 -> int1: もえもえLv.86事件が生じる; int1 -> int2: もえもえLv.86事件かもしくは湿気易いということが生じる; int2 & fact2 -> hypothesis;
fact3 & fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 口ずさむことが発生する fact2: ぴちゅぴよLv.82事件は「もえもえLv.86事件が起きるかもしくは湿気易いということが発生する」ということに防がれる fact3: 「もえもえLv.86事件が発生する」ということは口ずさむことがきっかけだ ; $hypothesis$ = ぴちゅぴよLv.82事件は起こらない ; $proof$ = 
fact3 & fact1 -> int1: もえもえLv.86事件が生じる; int1 -> int2: もえもえLv.86事件かもしくは湿気易いということが生じる; int2 & fact2 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis; __PROVED__