うざいということは生じない
fact1: ぴにぴちゅLv.31事件と得られ難いということ両方が起きる fact2: うざいということは「得られ難いということかもしくはもえもなLv.75事件かもしくは両方ともが起こる」ということに阻まれる
fact1 -> int1: 得られ難いということが起きる; int1 -> int2: 得られ難いということかもえもなLv.75事件か両方ともが起きる; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: ぴにぴちゅLv.31事件と得られ難いということ両方が起きる fact2: うざいということは「得られ難いということかもしくはもえもなLv.75事件かもしくは両方ともが起こる」ということに阻まれる ; $hypothesis$ = うざいということは生じない ; $proof$ = 
fact1 -> int1: 得られ難いということが起きる; int1 -> int2: 得られ難いということかもえもなLv.75事件か両方ともが起きる; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis; __PROVED__