the expiring ideology does not occur but the shuffleboard happens if the fact that the pushup occurs is correct.
sent1: if the Dorian occurs the fact that the collaring lividity but not the pushup occurs does not hold. sent2: if the fact that that the Dorian does not occur and the pushup does not occur hold is not right then the expiring ideology does not occur. sent3: the Dorianness does not occur if the expiring ideology occurs and the pushup does not occur. sent4: that the Dorian but not the pushup happens does not hold. sent5: the immunocompetentness does not occur and the collaring bombsight does not occur. sent6: the collaring lividity does not occur if that the collaring lividity but not the pushup happens is incorrect. sent7: not the collaring rite but the broadsiding valvotomy occurs. sent8: if the Dorian does not occur then the featherbeding does not occur and the reluctance does not occur. sent9: the shuffleboard does not occur if the broadsiding Pasteur does not occur and the westernness does not occur.
void -> assump2: Let's assume that the Dorian does not occur and the pushup does not occur.; assump2 -> int1: the pushup does not occur.; void -> assump1: Let's assume that the pushup occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the Dorianness does not occur and the pushup does not occur is not true.; int3 & sent2 -> int4: the expiring ideology does not occur.;
the collaring lividity does not occur.
$hypothesis$ = the expiring ideology does not occur but the shuffleboard happens if the fact that the pushup occurs is correct. ; $context$ = sent1: if the Dorian occurs the fact that the collaring lividity but not the pushup occurs does not hold. sent2: if the fact that that the Dorian does not occur and the pushup does not occur hold is not right then the expiring ideology does not occur. sent3: the Dorianness does not occur if the expiring ideology occurs and the pushup does not occur. sent4: that the Dorian but not the pushup happens does not hold. sent5: the immunocompetentness does not occur and the collaring bombsight does not occur. sent6: the collaring lividity does not occur if that the collaring lividity but not the pushup happens is incorrect. sent7: not the collaring rite but the broadsiding valvotomy occurs. sent8: if the Dorian does not occur then the featherbeding does not occur and the reluctance does not occur. sent9: the shuffleboard does not occur if the broadsiding Pasteur does not occur and the westernness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the Dorian does not occur and the pushup does not occur.; assump2 -> int1: the pushup does not occur.; void -> assump1: Let's assume that the pushup occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the Dorianness does not occur and the pushup does not occur is not true.; int3 & sent2 -> int4: the expiring ideology does not occur.; __UNKNOWN__