出し難いということは発生しないしさらに責め続けることは発生しない
fact1: 責め続けることが起きないということは鑑賞し易いということかあるいはみのみなLv.52事件はきっかけだ fact2: もし鑑賞し易いということは生じないとしたら「出し難いということは起こらないしまた責め続けることは起こらない」ということは成り立たない fact3: みのみなLv.52事件が起きる fact4: 責め続けることは鑑賞し易いということに阻止される fact5: 鑑賞し易いということは起きないということは「根気強いということは発生しなくてまた掻き易いということは起こらない」ということに繋がる fact6: 出し難いということは発生しない
fact3 -> int1: 鑑賞し易いということが起こるかみのみなLv.52事件が発生する; int1 & fact1 -> int2: 責め続けることは起こらない; int2 & fact6 -> hypothesis;
fact3 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact6 -> hypothesis;
「出し難いということは生じなくてまた責め続けることは生じない」ということは事実と異なる
$facts$ = fact1: 責め続けることが起きないということは鑑賞し易いということかあるいはみのみなLv.52事件はきっかけだ fact2: もし鑑賞し易いということは生じないとしたら「出し難いということは起こらないしまた責め続けることは起こらない」ということは成り立たない fact3: みのみなLv.52事件が起きる fact4: 責め続けることは鑑賞し易いということに阻止される fact5: 鑑賞し易いということは起きないということは「根気強いということは発生しなくてまた掻き易いということは起こらない」ということに繋がる fact6: 出し難いということは発生しない ; $hypothesis$ = 出し難いということは発生しないしさらに責め続けることは発生しない ; $proof$ = 
fact3 -> int1: 鑑賞し易いということが起こるかみのみなLv.52事件が発生する; int1 & fact1 -> int2: 責め続けることは起こらない; int2 & fact6 -> hypothesis; __PROVED__
fact3 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact6 -> hypothesis; __PROVED__