空々しいということかもしくはぴいぴゆLv.62事件が起こる
fact1: 「読み辛いということは発生しなくてまた吹き易いということは発生しない」ということはみなみやLv.68事件が起こらないということは原因だ fact2: 仮に「読み辛いということは生じない」ということは事実であるなら「空々しいということが起きるかあるいはぴいぴゆLv.62事件が生じるかもしくは両方ともだ」ということは成り立たない fact3: 読み辛いということおよびぴいぴゆLv.62事件両方が起きる
fact3 -> int1: ぴいぴゆLv.62事件が起きる; int1 -> hypothesis;
fact3 -> int1: {B}; int1 -> hypothesis;
「空々しいということが起きるかぴいぴゆLv.62事件が起こる」ということは間違っている
$facts$ = fact1: 「読み辛いということは発生しなくてまた吹き易いということは発生しない」ということはみなみやLv.68事件が起こらないということは原因だ fact2: 仮に「読み辛いということは生じない」ということは事実であるなら「空々しいということが起きるかあるいはぴいぴゆLv.62事件が生じるかもしくは両方ともだ」ということは成り立たない fact3: 読み辛いということおよびぴいぴゆLv.62事件両方が起きる ; $hypothesis$ = 空々しいということかもしくはぴいぴゆLv.62事件が起こる ; $proof$ = 
fact3 -> int1: ぴいぴゆLv.62事件が起きる; int1 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 -> hypothesis; __PROVED__