「もなもにょLv.55事件とぷえぷねLv.7事件が起こる」ということは成り立たない
fact1: もなもにょLv.55事件が発生するしぷわぷなLv.51事件が生じる fact2: ぷえぷねLv.7事件が発生する fact3: ぷえぷねLv.7事件は生じないとしたらぷにゅぷにゃLv.97事件とぷわぷなLv.51事件が生じる fact4: 眩いということは起きないということは「ぷにょぷよLv.10事件が発生するしもなもにょLv.55事件が生じる」ということに繋がる
fact1 -> int1: もなもにょLv.55事件が起きる; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> hypothesis;
ぷにょぷよLv.10事件とぷにゅぷにゃLv.97事件両方が起こる
$facts$ = fact1: もなもにょLv.55事件が発生するしぷわぷなLv.51事件が生じる fact2: ぷえぷねLv.7事件が発生する fact3: ぷえぷねLv.7事件は生じないとしたらぷにゅぷにゃLv.97事件とぷわぷなLv.51事件が生じる fact4: 眩いということは起きないということは「ぷにょぷよLv.10事件が発生するしもなもにょLv.55事件が生じる」ということに繋がる ; $hypothesis$ = 「もなもにょLv.55事件とぷえぷねLv.7事件が起こる」ということは成り立たない ; $proof$ = 
fact1 -> int1: もなもにょLv.55事件が起きる; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact2 -> hypothesis; __DISPROVED__