if the downmarketness does not occur then the deriving and the ringer occurs.
sent1: if the misdirection does not occur and the reticulateness does not occur the ringer occurs. sent2: the deriving occurs if the constructing ecobabble happens. sent3: the misdirection causes the downmarketness. sent4: the officiating does not occur. sent5: the wrapping nova does not occur if the officiating does not occur. sent6: the reticulateness does not occur if the wrapping nova does not occur. sent7: the deriving occurs if that the constructing ecobabble does not occur and the simplifying does not occur is wrong.
void -> assump1: Let's assume that the misdirection occurs.; sent3 & assump1 -> int1: the downmarketness happens.; void -> assump2: Let's assume that the downmarketness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the misdirection does not occur.; sent5 & sent4 -> int4: the wrapping nova does not occur.; sent6 & int4 -> int5: the reticulating does not occur.; int3 & int5 -> int6: the misdirection does not occur and the reticulateness does not occur.; int6 & sent1 -> int7: the ringer occurs.;
$hypothesis$ = if the downmarketness does not occur then the deriving and the ringer occurs. ; $context$ = sent1: if the misdirection does not occur and the reticulateness does not occur the ringer occurs. sent2: the deriving occurs if the constructing ecobabble happens. sent3: the misdirection causes the downmarketness. sent4: the officiating does not occur. sent5: the wrapping nova does not occur if the officiating does not occur. sent6: the reticulateness does not occur if the wrapping nova does not occur. sent7: the deriving occurs if that the constructing ecobabble does not occur and the simplifying does not occur is wrong. ; $proof$ = 
void -> assump1: Let's assume that the misdirection occurs.; sent3 & assump1 -> int1: the downmarketness happens.; void -> assump2: Let's assume that the downmarketness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the misdirection does not occur.; sent5 & sent4 -> int4: the wrapping nova does not occur.; sent6 & int4 -> int5: the reticulating does not occur.; int3 & int5 -> int6: the misdirection does not occur and the reticulateness does not occur.; int6 & sent1 -> int7: the ringer occurs.; __UNKNOWN__