ぴちゅぴゆLv.85事件が生じる
fact1: 「ぷのぷなLv.85事件は起こらない」ということはぴちゅぴゆLv.85事件を防ぐ fact2: もしも分配することが起こるかぷのぷなLv.85事件が発生するとすると転移することは起こらない fact3: ぷのぷなLv.85事件および生じ難いということが起きる fact4: 「愛しということが生じる」ということは転移することは起きないということに誘発される fact5: もし愛しということが起きればぴちゅぴゆLv.85事件が生じる
fact3 -> int1: 「ぷのぷなLv.85事件が起きる」ということは偽でない; int1 -> int2: 分配することかぷのぷなLv.85事件かあるいは両方が起こる; int2 & fact2 -> int3: 転移することは生じない; int3 & fact4 -> int4: 愛しということが起こる; int4 & fact5 -> hypothesis;
fact3 -> int1: {A}; int1 -> int2: ({C} v {A}); int2 & fact2 -> int3: ¬{D}; int3 & fact4 -> int4: {E}; int4 & fact5 -> hypothesis;
ぴちゅぴゆLv.85事件は生じない
$facts$ = fact1: 「ぷのぷなLv.85事件は起こらない」ということはぴちゅぴゆLv.85事件を防ぐ fact2: もしも分配することが起こるかぷのぷなLv.85事件が発生するとすると転移することは起こらない fact3: ぷのぷなLv.85事件および生じ難いということが起きる fact4: 「愛しということが生じる」ということは転移することは起きないということに誘発される fact5: もし愛しということが起きればぴちゅぴゆLv.85事件が生じる ; $hypothesis$ = ぴちゅぴゆLv.85事件が生じる ; $proof$ = 
fact3 -> int1: 「ぷのぷなLv.85事件が起きる」ということは偽でない; int1 -> int2: 分配することかぷのぷなLv.85事件かあるいは両方が起こる; int2 & fact2 -> int3: 転移することは生じない; int3 & fact4 -> int4: 愛しということが起こる; int4 & fact5 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 -> int2: ({C} v {A}); int2 & fact2 -> int3: ¬{D}; int3 & fact4 -> int4: {E}; int4 & fact5 -> hypothesis; __PROVED__