that the swerve does not occur prevents that the freckling hayloft happens.
sent1: if that the decaying does not occur or the weightiness does not occur or both does not hold then that the freckling hayloft does not occur is true. sent2: the redemptiveness does not occur and/or the laziness does not occur. sent3: that the tailspin does not occur hold if the vasovasostomy does not occur and the swerve does not occur. sent4: the vasovasostomy does not occur. sent5: the fact that either the decaying does not occur or the weightiness does not occur or both does not hold if the Hawaiianness happens. sent6: that the tailspin does not occur and/or that the freestyle does not occur prevents that the Hawaiianness does not occur.
void -> assump1: Let's assume that the swerve does not occur.; sent4 & assump1 -> int1: the vasovasostomy does not occur and the swerve does not occur.; sent3 & int1 -> int2: the fact that the tailspin does not occur is true.; int2 -> int3: the tailspin does not occur or the freestyle does not occur or both.; sent6 & int3 -> int4: the Hawaiian occurs.; sent5 & int4 -> int5: that the decay does not occur or the weightiness does not occur or both is not right.; sent1 & int5 -> int6: the freckling hayloft does not occur.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the swerve does not occur prevents that the freckling hayloft happens. ; $context$ = sent1: if that the decaying does not occur or the weightiness does not occur or both does not hold then that the freckling hayloft does not occur is true. sent2: the redemptiveness does not occur and/or the laziness does not occur. sent3: that the tailspin does not occur hold if the vasovasostomy does not occur and the swerve does not occur. sent4: the vasovasostomy does not occur. sent5: the fact that either the decaying does not occur or the weightiness does not occur or both does not hold if the Hawaiianness happens. sent6: that the tailspin does not occur and/or that the freestyle does not occur prevents that the Hawaiianness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the swerve does not occur.; sent4 & assump1 -> int1: the vasovasostomy does not occur and the swerve does not occur.; sent3 & int1 -> int2: the fact that the tailspin does not occur is true.; int2 -> int3: the tailspin does not occur or the freestyle does not occur or both.; sent6 & int3 -> int4: the Hawaiian occurs.; sent5 & int4 -> int5: that the decay does not occur or the weightiness does not occur or both is not right.; sent1 & int5 -> int6: the freckling hayloft does not occur.; [assump1] & int6 -> hypothesis; __PROVED__