ぷちょぷなLv.0事件および誘い掛けることが生じる
fact1: 壊れ難いということは赤いということが原因だ fact2: ぷちょぷなLv.0事件は起こらないということは壊れ難いということに防がれる fact3: 赤いということは発生するかもしくはもにゅもゆLv.9事件は発生するかまたは両方ともである fact4: 「壊れ難いということは生じない」ということはもにゅもゆLv.9事件に防がれる fact5: 誘い掛けることが起きる
fact3 & fact1 & fact4 -> int1: 壊れ難いということが発生する; int1 & fact2 -> int2: ぷちょぷなLv.0事件が起こる; int2 & fact5 -> hypothesis;
fact3 & fact1 & fact4 -> int1: {C}; int1 & fact2 -> int2: {D}; int2 & fact5 -> hypothesis;
$facts$ = fact1: 壊れ難いということは赤いということが原因だ fact2: ぷちょぷなLv.0事件は起こらないということは壊れ難いということに防がれる fact3: 赤いということは発生するかもしくはもにゅもゆLv.9事件は発生するかまたは両方ともである fact4: 「壊れ難いということは生じない」ということはもにゅもゆLv.9事件に防がれる fact5: 誘い掛けることが起きる ; $hypothesis$ = ぷちょぷなLv.0事件および誘い掛けることが生じる ; $proof$ = 
fact3 & fact1 & fact4 -> int1: 壊れ難いということが発生する; int1 & fact2 -> int2: ぷちょぷなLv.0事件が起こる; int2 & fact5 -> hypothesis; __PROVED__
fact3 & fact1 & fact4 -> int1: {C}; int1 & fact2 -> int2: {D}; int2 & fact5 -> hypothesis; __PROVED__