以下のように仮定する。誤解され易いということが生じるがまいまよLv.9事件は生じない
fact1: 「清掃することが発生するけれど起こし易いということは発生しない」ということは真実でない fact2: 「誤解され易いということとまいまよLv.9事件両方が起こる」ということは成り立つということはない fact3: まいまよLv.9事件が起きる fact4: 「発泡することが生じるけれど把握し易いということは起きない」ということは嘘だ fact5: 「交差し合うことが生じるけれどまにゅまやLv.71事件は発生しない」ということは本当でない fact6: 「悔しがることは起こらない」ということは「誤解され易いということは起きない」ということかまたは悔しがることに阻まれる
void -> assump1: 以下のように仮定する。誤解され易いということが生じるがまいまよLv.9事件は生じない; assump1 -> int1: まいまよLv.9事件は生じない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ({A} & ¬{B}); assump1 -> int1: ¬{B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis;
悔しがることが生じる
$facts$ = fact1: 「清掃することが発生するけれど起こし易いということは発生しない」ということは真実でない fact2: 「誤解され易いということとまいまよLv.9事件両方が起こる」ということは成り立つということはない fact3: まいまよLv.9事件が起きる fact4: 「発泡することが生じるけれど把握し易いということは起きない」ということは嘘だ fact5: 「交差し合うことが生じるけれどまにゅまやLv.71事件は発生しない」ということは本当でない fact6: 「悔しがることは起こらない」ということは「誤解され易いということは起きない」ということかまたは悔しがることに阻まれる ; $hypothesis$ = 以下のように仮定する。誤解され易いということが生じるがまいまよLv.9事件は生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。誤解され易いということが生じるがまいまよLv.9事件は生じない; assump1 -> int1: まいまよLv.9事件は生じない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: ({A} & ¬{B}); assump1 -> int1: ¬{B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__