みよみなLv.98事件は生じない
fact1: ぷちゅぷにょLv.32事件は捕らえ易いということに阻まれる fact2: もし仮にものもにょLv.85事件かまたはまにまにょLv.58事件かあるいは両方が起こるとしたらみよみなLv.98事件は発生しない fact3: ものもにょLv.85事件が生じるし深しということが発生する fact4: もし仮に「深しということは生じない」ということは本当ならばみよみなLv.98事件が生じるしものもにょLv.85事件が起きる fact5: 設備することがもなもにゃLv.0事件は起きないということの原因となる
fact3 -> int1: ものもにょLv.85事件が起こる; int1 -> int2: ものもにょLv.85事件かまにまにょLv.58事件が生じる; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact2 -> hypothesis;
みよみなLv.98事件が起きる
$facts$ = fact1: ぷちゅぷにょLv.32事件は捕らえ易いということに阻まれる fact2: もし仮にものもにょLv.85事件かまたはまにまにょLv.58事件かあるいは両方が起こるとしたらみよみなLv.98事件は発生しない fact3: ものもにょLv.85事件が生じるし深しということが発生する fact4: もし仮に「深しということは生じない」ということは本当ならばみよみなLv.98事件が生じるしものもにょLv.85事件が起きる fact5: 設備することがもなもにゃLv.0事件は起きないということの原因となる ; $hypothesis$ = みよみなLv.98事件は生じない ; $proof$ = 
fact3 -> int1: ものもにょLv.85事件が起こる; int1 -> int2: ものもにょLv.85事件かまにまにょLv.58事件が生じる; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact2 -> hypothesis; __PROVED__