ぴちょぴいLv.82事件が起きるかもしくはぴゆぴわLv.94事件が発生するかあるいは両方ともだ
fact1: 仮に口煩いということは起こらないならば「ぴちょぴいLv.82事件が発生するかぴゆぴわLv.94事件が起きるかまたは両方ともである」ということは誤りだ fact2: 「ぴよぴにLv.17事件と口煩いということ両方ともが起きる」ということは誤っているなら「ぴゆぴわLv.94事件は発生しない」ということは成り立つ fact3: ぴちょぴいLv.82事件が発生する
fact3 -> int1: ぴちょぴいLv.82事件が発生する; int1 -> hypothesis;
fact3 -> int1: {A}; int1 -> hypothesis;
縁遠いということが起きる
$facts$ = fact1: 仮に口煩いということは起こらないならば「ぴちょぴいLv.82事件が発生するかぴゆぴわLv.94事件が起きるかまたは両方ともである」ということは誤りだ fact2: 「ぴよぴにLv.17事件と口煩いということ両方ともが起きる」ということは誤っているなら「ぴゆぴわLv.94事件は発生しない」ということは成り立つ fact3: ぴちょぴいLv.82事件が発生する ; $hypothesis$ = ぴちょぴいLv.82事件が起きるかもしくはぴゆぴわLv.94事件が発生するかあるいは両方ともだ ; $proof$ = 
fact3 -> int1: ぴちょぴいLv.82事件が発生する; int1 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 -> hypothesis; __PROVED__