that the depressurizing wrongdoer occurs if that the pathologicalness occurs is right does not hold.
sent1: the fact that the underhandness does not occur and the kneeling does not occur does not hold if that the Grant occurs hold. sent2: the depressurizing miotic occurs if the housing happens. sent3: the depressurizing wrongdoer happens if the entering creamery does not occur. sent4: the predominating happens. sent5: that the bicycling does not occur and the crediting halfbeak does not occur is wrong if the entering creamery occurs. sent6: the offstageness occurs if that the bicycling does not occur and the crediting halfbeak does not occur is not correct. sent7: the tune-up happens. sent8: the pathologicalness does not occur if that the offstageness occurs hold.
void -> assump1: Let's assume that the pathologicalness happens.; void -> assump2: Let's assume that the entering creamery occurs.; sent5 & assump2 -> int1: the fact that the bicycling does not occur and the crediting halfbeak does not occur does not hold.; sent6 & int1 -> int2: the offstageness occurs.; sent8 & int2 -> int3: the pathologicalness does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the entering creamery does not occur.; sent3 & int5 -> int6: the depressurizing wrongdoer happens.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the depressurizing wrongdoer occurs if that the pathologicalness occurs is right does not hold. ; $context$ = sent1: the fact that the underhandness does not occur and the kneeling does not occur does not hold if that the Grant occurs hold. sent2: the depressurizing miotic occurs if the housing happens. sent3: the depressurizing wrongdoer happens if the entering creamery does not occur. sent4: the predominating happens. sent5: that the bicycling does not occur and the crediting halfbeak does not occur is wrong if the entering creamery occurs. sent6: the offstageness occurs if that the bicycling does not occur and the crediting halfbeak does not occur is not correct. sent7: the tune-up happens. sent8: the pathologicalness does not occur if that the offstageness occurs hold. ; $proof$ = 
void -> assump1: Let's assume that the pathologicalness happens.; void -> assump2: Let's assume that the entering creamery occurs.; sent5 & assump2 -> int1: the fact that the bicycling does not occur and the crediting halfbeak does not occur does not hold.; sent6 & int1 -> int2: the offstageness occurs.; sent8 & int2 -> int3: the pathologicalness does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the entering creamery does not occur.; sent3 & int5 -> int6: the depressurizing wrongdoer happens.; [assump1] & int6 -> hypothesis; __DISPROVED__