抗し難いということは起こらない
fact1: もし堪え難いということおよび気まずいということ両方が発生するとすると抗し難いということは起きない fact2: 「ぴわぴゆLv.88事件が起こる」ということは気まずいということの原因となる fact3: 「重しということが起きる」ということは成り立つ fact4: 堪え難いということが起きる fact5: 「ぴわぴゆLv.88事件が起こる」ということは真実である
fact2 & fact5 -> int1: 気まずいということが生じる; int1 & fact4 -> int2: 堪え難いということが起こるしまた気まずいということが生じる; int2 & fact1 -> hypothesis;
fact2 & fact5 -> int1: {B}; int1 & fact4 -> int2: ({C} & {B}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もし堪え難いということおよび気まずいということ両方が発生するとすると抗し難いということは起きない fact2: 「ぴわぴゆLv.88事件が起こる」ということは気まずいということの原因となる fact3: 「重しということが起きる」ということは成り立つ fact4: 堪え難いということが起きる fact5: 「ぴわぴゆLv.88事件が起こる」ということは真実である ; $hypothesis$ = 抗し難いということは起こらない ; $proof$ = 
fact2 & fact5 -> int1: 気まずいということが生じる; int1 & fact4 -> int2: 堪え難いということが起こるしまた気まずいということが生じる; int2 & fact1 -> hypothesis; __PROVED__
fact2 & fact5 -> int1: {B}; int1 & fact4 -> int2: ({C} & {B}); int2 & fact1 -> hypothesis; __PROVED__