that the impairing does not occur and the roentgenographicness happens does not hold if the clouding chowchow happens.
sent1: the fact that the clouding Melopsittacus does not occur but the augmentation occurs does not hold if the fact that the ferreting messiahship happens hold. sent2: the unserviceableness occurs. sent3: the fact that not the consuetude but the blip happens is not right. sent4: the follow-up happens. sent5: if the whitecap occurs then the visibleness occurs. sent6: the underquoting happens. sent7: if the ferreting Gounod happens then the fact that the clouding Sceloporus does not occur but the clouding derision occurs is incorrect. sent8: that not the Rosicrucianness but the clouding specifier occurs is false. sent9: the fact that not the impairing but the roentgenographicness happens is false if the feudalness happens. sent10: the clouding chowchow prevents the non-feudalness. sent11: the fact that the impairing happens and the roentgenographicness occurs is false. sent12: not the pinning but the untranslatableness occurs if the declarativeness occurs. sent13: the fact that both the non-Rosicrucianness and the ferreting messiahship occurs is not correct if the metastaticness happens. sent14: the snowmobile happens. sent15: the fact that if the monocarpicness occurs then that the gas does not occur but the insubstantialness happens is incorrect hold. sent16: if the handlessness happens that the fact that both the Olympicness and the consuetude happens is not correct is correct. sent17: if the wobbling campus happens then the pump happens.
void -> assump1: Let's assume that the clouding chowchow happens.; sent10 & assump1 -> int1: the fact that the feudalness happens is true.; int1 & sent9 -> int2: the fact that the impairing does not occur and the roentgenographicness occurs is not true.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the impairing does not occur and the roentgenographicness happens does not hold if the clouding chowchow happens. ; $context$ = sent1: the fact that the clouding Melopsittacus does not occur but the augmentation occurs does not hold if the fact that the ferreting messiahship happens hold. sent2: the unserviceableness occurs. sent3: the fact that not the consuetude but the blip happens is not right. sent4: the follow-up happens. sent5: if the whitecap occurs then the visibleness occurs. sent6: the underquoting happens. sent7: if the ferreting Gounod happens then the fact that the clouding Sceloporus does not occur but the clouding derision occurs is incorrect. sent8: that not the Rosicrucianness but the clouding specifier occurs is false. sent9: the fact that not the impairing but the roentgenographicness happens is false if the feudalness happens. sent10: the clouding chowchow prevents the non-feudalness. sent11: the fact that the impairing happens and the roentgenographicness occurs is false. sent12: not the pinning but the untranslatableness occurs if the declarativeness occurs. sent13: the fact that both the non-Rosicrucianness and the ferreting messiahship occurs is not correct if the metastaticness happens. sent14: the snowmobile happens. sent15: the fact that if the monocarpicness occurs then that the gas does not occur but the insubstantialness happens is incorrect hold. sent16: if the handlessness happens that the fact that both the Olympicness and the consuetude happens is not correct is correct. sent17: if the wobbling campus happens then the pump happens. ; $proof$ = 
void -> assump1: Let's assume that the clouding chowchow happens.; sent10 & assump1 -> int1: the fact that the feudalness happens is true.; int1 & sent9 -> int2: the fact that the impairing does not occur and the roentgenographicness occurs is not true.; [assump1] & int2 -> hypothesis; __PROVED__