if the regressiveness occurs the fact that the sandpapering headmistressship does not occur and/or the Land happens is incorrect.
sent1: the unsurmountableness does not occur. sent2: the fact that the noncommercialness occurs is not incorrect. sent3: the sandpapering headmistressship occurs. sent4: the floweriness happens. sent5: if the regressiveness happens the sandpapering headmistressship does not occur and/or the Land occurs. sent6: the acentricness occurs. sent7: either the sandpapering headmistressship does not occur or the Land happens or both. sent8: the fact that either the riposting pachytene does not occur or the Andeanness occurs or both is wrong if the acentricness occurs. sent9: the acentricness happens and the puerperalness happens. sent10: if that the impalpableness does not occur is not incorrect either the sandpapering headmistressship does not occur or the Land occurs or both. sent11: if both the slashing and the lower-classness occurs then the aroidness does not occur. sent12: the fact that the sandpapering headmistressship does not occur and/or the Land happens is not right if the impalpableness does not occur. sent13: the sandpapering headmistressship occurs if the fact that the impalpableness does not occur is not wrong. sent14: the connecting and the basting happens. sent15: that the sandpapering headmistressship does not occur is prevented by the regressiveness. sent16: the healing does not occur. sent17: the Mark does not occur.
void -> assump1: Let's assume that the regressiveness occurs.; sent9 -> int1: the fact that the puerperalness happens is true.; void -> assump2: Let's assume that the impalpableness occurs.; int1 & assump2 -> int2: the puerperalness and the impalpableness happens.;
that the riposting pachytene does not occur and/or the Andeanness occurs is false.
$hypothesis$ = if the regressiveness occurs the fact that the sandpapering headmistressship does not occur and/or the Land happens is incorrect. ; $context$ = sent1: the unsurmountableness does not occur. sent2: the fact that the noncommercialness occurs is not incorrect. sent3: the sandpapering headmistressship occurs. sent4: the floweriness happens. sent5: if the regressiveness happens the sandpapering headmistressship does not occur and/or the Land occurs. sent6: the acentricness occurs. sent7: either the sandpapering headmistressship does not occur or the Land happens or both. sent8: the fact that either the riposting pachytene does not occur or the Andeanness occurs or both is wrong if the acentricness occurs. sent9: the acentricness happens and the puerperalness happens. sent10: if that the impalpableness does not occur is not incorrect either the sandpapering headmistressship does not occur or the Land occurs or both. sent11: if both the slashing and the lower-classness occurs then the aroidness does not occur. sent12: the fact that the sandpapering headmistressship does not occur and/or the Land happens is not right if the impalpableness does not occur. sent13: the sandpapering headmistressship occurs if the fact that the impalpableness does not occur is not wrong. sent14: the connecting and the basting happens. sent15: that the sandpapering headmistressship does not occur is prevented by the regressiveness. sent16: the healing does not occur. sent17: the Mark does not occur. ; $proof$ = 
void -> assump1: Let's assume that the regressiveness occurs.; sent9 -> int1: the fact that the puerperalness happens is true.; void -> assump2: Let's assume that the impalpableness occurs.; int1 & assump2 -> int2: the puerperalness and the impalpableness happens.; __UNKNOWN__