if the ball-buster does not occur then both the nutritionalness and the reception happens.
sent1: the reception occurs if the lustrum happens. sent2: that the hypodermicness does not occur yields the berthing. sent3: the fact that the earful does not occur and the activation occurs is incorrect. sent4: if the hypodermicness does not occur then the lustrum occurs and the berth occurs. sent5: if that the glottalness does not occur and the interlock does not occur does not hold the ball-buster occurs. sent6: if the glottalness occurs then the ball-buster occurs. sent7: that the fact that the glottalness does not occur and the interlock does not occur is incorrect hold if the explosion does not occur. sent8: the non-hypodermicness is brought about by the earful. sent9: if the ball-buster occurs both the nutritionalness and the reception occurs. sent10: if the fact that the earful does not occur but the activation happens does not hold the hypodermic does not occur.
void -> assump2: Let's assume that the explosion does not occur.; sent7 & assump2 -> int1: that the glottalness does not occur and the interlocking does not occur is false.; int1 & sent5 -> int2: that the ball-buster occurs is not incorrect.; void -> assump1: Let's assume that the ball-buster does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the explosion happens.; sent10 & sent3 -> int5: the hypodermicness does not occur.; sent4 & int5 -> int6: both the lustrum and the berth happens.; int6 -> int7: the lustrum happens.; sent1 & int7 -> int8: the reception happens.;
$hypothesis$ = if the ball-buster does not occur then both the nutritionalness and the reception happens. ; $context$ = sent1: the reception occurs if the lustrum happens. sent2: that the hypodermicness does not occur yields the berthing. sent3: the fact that the earful does not occur and the activation occurs is incorrect. sent4: if the hypodermicness does not occur then the lustrum occurs and the berth occurs. sent5: if that the glottalness does not occur and the interlock does not occur does not hold the ball-buster occurs. sent6: if the glottalness occurs then the ball-buster occurs. sent7: that the fact that the glottalness does not occur and the interlock does not occur is incorrect hold if the explosion does not occur. sent8: the non-hypodermicness is brought about by the earful. sent9: if the ball-buster occurs both the nutritionalness and the reception occurs. sent10: if the fact that the earful does not occur but the activation happens does not hold the hypodermic does not occur. ; $proof$ = 
void -> assump2: Let's assume that the explosion does not occur.; sent7 & assump2 -> int1: that the glottalness does not occur and the interlocking does not occur is false.; int1 & sent5 -> int2: that the ball-buster occurs is not incorrect.; void -> assump1: Let's assume that the ball-buster does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the explosion happens.; sent10 & sent3 -> int5: the hypodermicness does not occur.; sent4 & int5 -> int6: both the lustrum and the berth happens.; int6 -> int7: the lustrum happens.; sent1 & int7 -> int8: the reception happens.; __UNKNOWN__