「もしもぴにゃぴえLv.32事件が発生するとしたらぴにゃぴえLv.32事件が起きるけれどぴわぴにょLv.23事件は発生しない」ということは事実と異なる
fact1: ぴわぴにょLv.23事件は起きない fact2: ぴえぴいLv.91事件が起こる fact3: もにゅもにLv.17事件が起こる fact4: 地中深いということは生じないとしたらぴえぴいLv.91事件が起きるししかも推進出来ることが発生する fact5: 仮にぴにゃぴえLv.32事件が起きればぴにゃぴえLv.32事件とぴわぴにょLv.23事件両方が生じる
void -> assump1: 以下のように仮定する。ぴにゃぴえLv.32事件が起こる; assump1 & fact1 -> int1: ぴにゃぴえLv.32事件は発生するけどぴわぴにょLv.23事件は起こらない; [assump1] & int1 -> hypothesis;
void -> assump1: {A}; assump1 & fact1 -> int1: ({A} & ¬{B}); [assump1] & int1 -> hypothesis;
ぴえぴいLv.91事件が起きるしぴねぴのLv.87事件は発生しない
$facts$ = fact1: ぴわぴにょLv.23事件は起きない fact2: ぴえぴいLv.91事件が起こる fact3: もにゅもにLv.17事件が起こる fact4: 地中深いということは生じないとしたらぴえぴいLv.91事件が起きるししかも推進出来ることが発生する fact5: 仮にぴにゃぴえLv.32事件が起きればぴにゃぴえLv.32事件とぴわぴにょLv.23事件両方が生じる ; $hypothesis$ = 「もしもぴにゃぴえLv.32事件が発生するとしたらぴにゃぴえLv.32事件が起きるけれどぴわぴにょLv.23事件は発生しない」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぴにゃぴえLv.32事件が起こる; assump1 & fact1 -> int1: ぴにゃぴえLv.32事件は発生するけどぴわぴにょLv.23事件は起こらない; [assump1] & int1 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 & fact1 -> int1: ({A} & ¬{B}); [assump1] & int1 -> hypothesis; __DISPROVED__