もくもゆLv.97事件が起きる
fact1: 「ぷやぷよLv.39事件か吹き易いということが生じる」ということは成り立たない fact2: みちゅみにLv.12事件は起こらない fact3: みちゅみにLv.12事件がみわみにLv.78事件は発生しないということに防がれる fact4: みわみにLv.78事件は生じない fact5: もし仮に「みちゅみにLv.12事件が起きるかみにゃみいLv.3事件が発生するかどちらもだ」ということは間違いだとしたらもくもゆLv.97事件は発生しない fact6: 奏すことは起こらない fact7: 仮にみわみにLv.78事件は発生しないなら「みちゅみにLv.12事件が起きるかもしくはみにゃみいLv.3事件が起きるかあるいは両方である」ということは偽だ
fact7 & fact4 -> int1: 「みちゅみにLv.12事件かあるいはみにゃみいLv.3事件が起こる」ということは偽である; int1 & fact5 -> hypothesis;
fact7 & fact4 -> int1: ¬({AA} v {AB}); int1 & fact5 -> hypothesis;
$facts$ = fact1: 「ぷやぷよLv.39事件か吹き易いということが生じる」ということは成り立たない fact2: みちゅみにLv.12事件は起こらない fact3: みちゅみにLv.12事件がみわみにLv.78事件は発生しないということに防がれる fact4: みわみにLv.78事件は生じない fact5: もし仮に「みちゅみにLv.12事件が起きるかみにゃみいLv.3事件が発生するかどちらもだ」ということは間違いだとしたらもくもゆLv.97事件は発生しない fact6: 奏すことは起こらない fact7: 仮にみわみにLv.78事件は発生しないなら「みちゅみにLv.12事件が起きるかもしくはみにゃみいLv.3事件が起きるかあるいは両方である」ということは偽だ ; $hypothesis$ = もくもゆLv.97事件が起きる ; $proof$ = 
fact7 & fact4 -> int1: 「みちゅみにLv.12事件かあるいはみにゃみいLv.3事件が起こる」ということは偽である; int1 & fact5 -> hypothesis; __DISPROVED__
fact7 & fact4 -> int1: ¬({AA} v {AB}); int1 & fact5 -> hypothesis; __DISPROVED__