もし仮に人間っぽいということが生じるとしたら人間っぽいということは発生するけれどまにゃまねLv.73事件は起きない
fact1: ものもにゅLv.91事件が起こる fact2: ぽわぽゆLv.47事件が生じるけど因り難いということは起こらない fact3: まにゃまねLv.73事件は起こらない fact4: もし人間っぽいということが生じるとしたら人間っぽいということが起きるしまにゃまねLv.73事件が発生する fact5: ぽのぽいLv.20事件は起こらない
void -> assump1: 以下のように仮定する。人間っぽいということが起きる; assump1 & fact3 -> int1: 人間っぽいということが生じるけどまにゃまねLv.73事件は生じない; [assump1] & int1 -> hypothesis;
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & ¬{B}); [assump1] & int1 -> hypothesis;
$facts$ = fact1: ものもにゅLv.91事件が起こる fact2: ぽわぽゆLv.47事件が生じるけど因り難いということは起こらない fact3: まにゃまねLv.73事件は起こらない fact4: もし人間っぽいということが生じるとしたら人間っぽいということが起きるしまにゃまねLv.73事件が発生する fact5: ぽのぽいLv.20事件は起こらない ; $hypothesis$ = もし仮に人間っぽいということが生じるとしたら人間っぽいということは発生するけれどまにゃまねLv.73事件は起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。人間っぽいということが起きる; assump1 & fact3 -> int1: 人間っぽいということが生じるけどまにゃまねLv.73事件は生じない; [assump1] & int1 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & ¬{B}); [assump1] & int1 -> hypothesis; __PROVED__