往復することは起こらない
fact1: 間近いということが起こる fact2: ぽわぽわLv.98事件が生じる fact3: もしぽわぽわLv.98事件が発生するがしかし間近いということは起こらないならば往復することが起きる fact4: 仮にぷにぷなLv.9事件が起きるとすればぽわぽわLv.98事件が起きるけれど間近いということは発生しない fact5: もし「往復することおよびもちゃもにゃLv.72事件どちらもが発生する」ということは成り立たないならばもちゃもにゃLv.72事件は起きない fact6: 「ぽわぽわLv.98事件が起こるしまた往復することが起こる」ということは間近いということを回避する
void -> assump1: 以下のように仮定する。往復することが発生する; fact2 & assump1 -> int1: 「ぽわぽわLv.98事件が起こるしその上往復することが起きる」ということは成り立つ; int1 & fact6 -> int2: 間近いということは起きない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact2 & assump1 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
もちゃもにゃLv.72事件は生じない
$facts$ = fact1: 間近いということが起こる fact2: ぽわぽわLv.98事件が生じる fact3: もしぽわぽわLv.98事件が発生するがしかし間近いということは起こらないならば往復することが起きる fact4: 仮にぷにぷなLv.9事件が起きるとすればぽわぽわLv.98事件が起きるけれど間近いということは発生しない fact5: もし「往復することおよびもちゃもにゃLv.72事件どちらもが発生する」ということは成り立たないならばもちゃもにゃLv.72事件は起きない fact6: 「ぽわぽわLv.98事件が起こるしまた往復することが起こる」ということは間近いということを回避する ; $hypothesis$ = 往復することは起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。往復することが発生する; fact2 & assump1 -> int1: 「ぽわぽわLv.98事件が起こるしその上往復することが起きる」ということは成り立つ; int1 & fact6 -> int2: 間近いということは起きない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; fact2 & assump1 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__