if the Unitarian happens then the appointiveness does not occur.
sent1: the Low occurs. sent2: the appointiveness occurs if the fact that the Unitarianness occurs is correct. sent3: the Moravianness occurs. sent4: if the procurement does not occur the non-cerousness and the non-dextralness happens. sent5: if that the tunelessness does not occur but the procurement happens is incorrect the procurement does not occur. sent6: if that not the bedewing Gauguin but the gambling happens does not hold then the gambling does not occur. sent7: the hydroelectricness occurs. sent8: if the cerousness does not occur then that the Low occurs and the Unitarian occurs is not right. sent9: the non-Unitarianness is prevented by that the appointiveness occurs and the Low happens. sent10: if the Low does not occur that both the privation and the appointiveness occurs hold. sent11: the integrativeness happens. sent12: if the gambling does not occur then the fact that both the non-tunelessness and the procurement happens is not true. sent13: the soak does not occur if the pragmaticness happens.
void -> assump1: Let's assume that the Unitarianness happens.; void -> assump2: Let's assume that the appointiveness happens.; assump2 & sent1 -> int1: both the appointiveness and the Low occurs.;
the privation happens.
$hypothesis$ = if the Unitarian happens then the appointiveness does not occur. ; $context$ = sent1: the Low occurs. sent2: the appointiveness occurs if the fact that the Unitarianness occurs is correct. sent3: the Moravianness occurs. sent4: if the procurement does not occur the non-cerousness and the non-dextralness happens. sent5: if that the tunelessness does not occur but the procurement happens is incorrect the procurement does not occur. sent6: if that not the bedewing Gauguin but the gambling happens does not hold then the gambling does not occur. sent7: the hydroelectricness occurs. sent8: if the cerousness does not occur then that the Low occurs and the Unitarian occurs is not right. sent9: the non-Unitarianness is prevented by that the appointiveness occurs and the Low happens. sent10: if the Low does not occur that both the privation and the appointiveness occurs hold. sent11: the integrativeness happens. sent12: if the gambling does not occur then the fact that both the non-tunelessness and the procurement happens is not true. sent13: the soak does not occur if the pragmaticness happens. ; $proof$ = 
void -> assump1: Let's assume that the Unitarianness happens.; void -> assump2: Let's assume that the appointiveness happens.; assump2 & sent1 -> int1: both the appointiveness and the Low occurs.; __UNKNOWN__