if the housing malingerer does not occur not the bunco but the offense happens.
sent1: that either the suffering shrewdness does not occur or the follow-up does not occur or both results in that the federalizing graphology does not occur. sent2: both the federalizing graphology and the offense occurs. sent3: if the federalizing graphology does not occur the aestheticness occurs and the bunco happens. sent4: that the suffering lodgment does not occur results in that the excusableness does not occur and the offense does not occur. sent5: if the housing malingerer does not occur the bunco does not occur. sent6: the bunco does not occur if the housing malingerer happens. sent7: the enfeebling cladogram does not occur but the IVP occurs. sent8: that the housing slop occurs is correct.
void -> assump1: Let's assume that the fact that the housing malingerer does not occur is true.; sent5 & assump1 -> int1: the bunco does not occur.; sent2 -> int2: the offense occurs.; int1 & int2 -> int3: not the bunco but the offense occurs.; [assump1] & int3 -> hypothesis;
the aestheticness and the housing tonicity happens.
$hypothesis$ = if the housing malingerer does not occur not the bunco but the offense happens. ; $context$ = sent1: that either the suffering shrewdness does not occur or the follow-up does not occur or both results in that the federalizing graphology does not occur. sent2: both the federalizing graphology and the offense occurs. sent3: if the federalizing graphology does not occur the aestheticness occurs and the bunco happens. sent4: that the suffering lodgment does not occur results in that the excusableness does not occur and the offense does not occur. sent5: if the housing malingerer does not occur the bunco does not occur. sent6: the bunco does not occur if the housing malingerer happens. sent7: the enfeebling cladogram does not occur but the IVP occurs. sent8: that the housing slop occurs is correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the housing malingerer does not occur is true.; sent5 & assump1 -> int1: the bunco does not occur.; sent2 -> int2: the offense occurs.; int1 & int2 -> int3: not the bunco but the offense occurs.; [assump1] & int3 -> hypothesis; __PROVED__