以下のように仮定する。か細いということが生じる
fact1: 「当たり難いということが起こるし加えて引き難いということが起きる」ということは偽だとすれば「引き難いということは発生しない」ということは間違いでない fact2: か細いということは弁解がましいということを阻止する fact3: 「やくざっぽいということは発生しなくてまた弁解がましいということは生じない」ということはか細いということに起因する fact4: もし仮に御宜しいということは発生しないとするとか細いということが起こるしさらに支障無いということが起こる fact5: 「やくざっぽいということは発生しなくてその上弁解がましいということは生じない」ということは嘘である
void -> assump1: 以下のように仮定する。か細いということが生じる; fact3 & assump1 -> int1: やくざっぽいということは発生しなくてまた弁解がましいということは生じない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact3 & assump1 -> int1: (¬{AA} & ¬{AB}); int1 & fact5 -> int2: #F#; [assump1] & int2 -> hypothesis;
引き難いということは起こらなくてそれにぽえぽのLv.14事件は発生しない
$facts$ = fact1: 「当たり難いということが起こるし加えて引き難いということが起きる」ということは偽だとすれば「引き難いということは発生しない」ということは間違いでない fact2: か細いということは弁解がましいということを阻止する fact3: 「やくざっぽいということは発生しなくてまた弁解がましいということは生じない」ということはか細いということに起因する fact4: もし仮に御宜しいということは発生しないとするとか細いということが起こるしさらに支障無いということが起こる fact5: 「やくざっぽいということは発生しなくてその上弁解がましいということは生じない」ということは嘘である ; $hypothesis$ = 以下のように仮定する。か細いということが生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。か細いということが生じる; fact3 & assump1 -> int1: やくざっぽいということは発生しなくてまた弁解がましいということは生じない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact3 & assump1 -> int1: (¬{AA} & ¬{AB}); int1 & fact5 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__