ぴゆぴにLv.29事件およびまよまねLv.7事件両方ともが発生する
fact1: 滞り易いということが起こる fact2: ぴゆぴにLv.29事件が起こる fact3: まよまねLv.7事件が起きるということは憂いということが生じるということに由来する fact4: もしも「憂いということは起きない」ということは事実と異ならないならば「ぴゆぴにLv.29事件およびまよまねLv.7事件が生じる」ということは嘘だ fact5: 憂いということが起きる
fact3 & fact5 -> int1: まよまねLv.7事件が起こる; int1 & fact2 -> hypothesis;
fact3 & fact5 -> int1: {B}; int1 & fact2 -> hypothesis;
「ぴゆぴにLv.29事件が起きるしまよまねLv.7事件が起きる」ということは間違いである
$facts$ = fact1: 滞り易いということが起こる fact2: ぴゆぴにLv.29事件が起こる fact3: まよまねLv.7事件が起きるということは憂いということが生じるということに由来する fact4: もしも「憂いということは起きない」ということは事実と異ならないならば「ぴゆぴにLv.29事件およびまよまねLv.7事件が生じる」ということは嘘だ fact5: 憂いということが起きる ; $hypothesis$ = ぴゆぴにLv.29事件およびまよまねLv.7事件両方ともが発生する ; $proof$ = 
fact3 & fact5 -> int1: まよまねLv.7事件が起こる; int1 & fact2 -> hypothesis; __PROVED__
fact3 & fact5 -> int1: {B}; int1 & fact2 -> hypothesis; __PROVED__