if the sculpturalness happens then the butting saint does not occur and the irritation does not occur.
sent1: the microscopicness does not occur. sent2: that the inscription occurs is caused by that the anathema happens. sent3: that the ichorousness happens causes that the non-therapeuticness and the non-perigonalness occurs. sent4: the fact that both the non-sculpturalness and the persistentness occurs does not hold if the butting saint occurs. sent5: the weaving Tien-pao does not occur. sent6: if the undesirousness does not occur then the therapeuticness does not occur. sent7: the shearing does not occur. sent8: the impact does not occur if the pro-lifeness happens and the major happens. sent9: the fact that the sculpturalness does not occur is not incorrect if both the inscription and the persistentness occurs. sent10: that both the inscription and the persistentness happens prevents that the sculpturalness does not occur. sent11: that the anathema but not the weaving muse occurs prevents that the butting simmer occurs. sent12: that the weaving muse happens hold. sent13: the irritation does not occur. sent14: the fact that the pentecostalness occurs hold. sent15: the butting saint does not occur if the persistentness does not occur.
void -> assump1: Let's assume that the persistentness happens.;
the butting simmer does not occur.
$hypothesis$ = if the sculpturalness happens then the butting saint does not occur and the irritation does not occur. ; $context$ = sent1: the microscopicness does not occur. sent2: that the inscription occurs is caused by that the anathema happens. sent3: that the ichorousness happens causes that the non-therapeuticness and the non-perigonalness occurs. sent4: the fact that both the non-sculpturalness and the persistentness occurs does not hold if the butting saint occurs. sent5: the weaving Tien-pao does not occur. sent6: if the undesirousness does not occur then the therapeuticness does not occur. sent7: the shearing does not occur. sent8: the impact does not occur if the pro-lifeness happens and the major happens. sent9: the fact that the sculpturalness does not occur is not incorrect if both the inscription and the persistentness occurs. sent10: that both the inscription and the persistentness happens prevents that the sculpturalness does not occur. sent11: that the anathema but not the weaving muse occurs prevents that the butting simmer occurs. sent12: that the weaving muse happens hold. sent13: the irritation does not occur. sent14: the fact that the pentecostalness occurs hold. sent15: the butting saint does not occur if the persistentness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the persistentness happens.; __UNKNOWN__