the harrying drunk does not occur.
sent1: the caruncularness happens. sent2: if the parhelicness does not occur the noncrystallineness happens and the harrying drunk occurs. sent3: the fact that the contrivance happens or the bedewing Oktoberfest does not occur or both is not true. sent4: that the encrusting coconut occurs and the bunting occurs is not correct if the sanitation does not occur. sent5: the fact that the fact that the offsetting does not occur and the topspin does not occur is false if the noncrystallineness does not occur hold. sent6: if the fact that the encrusting coconut happens and the bunt happens is incorrect then the acting does not occur. sent7: the fact that the telocentricness occurs and the edutainment happens does not hold. sent8: that both the villain and the harrying expose happens is incorrect. sent9: the fact that the topspin but not the offsetting happens does not hold if the misbehavior occurs. sent10: if the fact that the misbehavior does not occur is not incorrect the sanitation does not occur. sent11: the misbehavior does not occur if the fact that the offset does not occur and the topspin does not occur is wrong. sent12: that the acting does not occur prevents that the harrying drunk happens. sent13: that the noncrystallineness occurs and/or the parhelicness does not occur does not hold. sent14: the sanitation occurs and the misbehavior occurs if the bunting does not occur.
void -> assump1: Let's assume that the noncrystallineness happens.; assump1 -> int1: either the noncrystallineness or the non-parhelicness or both occurs.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the noncrystallineness does not occur.; sent5 & int3 -> int4: that the offsetting does not occur and the topspin does not occur is not true.; sent11 & int4 -> int5: the misbehavior does not occur.; sent10 & int5 -> int6: the sanitation does not occur.; sent4 & int6 -> int7: the fact that both the encrusting coconut and the bunt occurs is false.; sent6 & int7 -> int8: that the acting does not occur is right.; sent12 & int8 -> hypothesis;
the harrying drunk happens.
$hypothesis$ = the harrying drunk does not occur. ; $context$ = sent1: the caruncularness happens. sent2: if the parhelicness does not occur the noncrystallineness happens and the harrying drunk occurs. sent3: the fact that the contrivance happens or the bedewing Oktoberfest does not occur or both is not true. sent4: that the encrusting coconut occurs and the bunting occurs is not correct if the sanitation does not occur. sent5: the fact that the fact that the offsetting does not occur and the topspin does not occur is false if the noncrystallineness does not occur hold. sent6: if the fact that the encrusting coconut happens and the bunt happens is incorrect then the acting does not occur. sent7: the fact that the telocentricness occurs and the edutainment happens does not hold. sent8: that both the villain and the harrying expose happens is incorrect. sent9: the fact that the topspin but not the offsetting happens does not hold if the misbehavior occurs. sent10: if the fact that the misbehavior does not occur is not incorrect the sanitation does not occur. sent11: the misbehavior does not occur if the fact that the offset does not occur and the topspin does not occur is wrong. sent12: that the acting does not occur prevents that the harrying drunk happens. sent13: that the noncrystallineness occurs and/or the parhelicness does not occur does not hold. sent14: the sanitation occurs and the misbehavior occurs if the bunting does not occur. ; $proof$ = 
void -> assump1: Let's assume that the noncrystallineness happens.; assump1 -> int1: either the noncrystallineness or the non-parhelicness or both occurs.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the noncrystallineness does not occur.; sent5 & int3 -> int4: that the offsetting does not occur and the topspin does not occur is not true.; sent11 & int4 -> int5: the misbehavior does not occur.; sent10 & int5 -> int6: the sanitation does not occur.; sent4 & int6 -> int7: the fact that both the encrusting coconut and the bunt occurs is false.; sent6 & int7 -> int8: that the acting does not occur is right.; sent12 & int8 -> hypothesis; __PROVED__