the thermotherapy does not occur.
sent1: if the supplication occurs then the cronyism and the non-Pavlovianness happens. sent2: the orbing anarchy does not occur. sent3: the citricness does not occur if the entrusting bouffant does not occur. sent4: that the hexangularness does not occur leads to that not the orbing marabou but the subdivision happens. sent5: the thermotherapy is prevented by that the entrusting arthroscope and the Texanness occurs. sent6: if the coppering happens the calcificness happens. sent7: that the subdivision does not occur triggers that the Texan happens and the Columbianness occurs. sent8: the fact that both the furor and the orbing anarchy occurs is wrong if the call-out does not occur. sent9: if the citricness does not occur the crucialness occurs and the radioness occurs. sent10: the furor does not occur and/or the call-out occurs if that the orbing Ulmus does not occur is not right. sent11: if the furor does not occur or the call-out happens or both that the entrusting arthroscope occurs is not incorrect. sent12: that the subdivision does not occur is not incorrect if the orbing marabou occurs. sent13: the hexangularness does not occur and the smudge does not occur if the Pavlovianness does not occur. sent14: the orbing anarchy does not occur if the fact that the furor and the orbing anarchy occurs is false. sent15: if the fact that the call-out but not the entrusting arthroscope occurs does not hold then the call-out does not occur. sent16: if the Texan does not occur the fact that the call-out occurs and the entrusting arthroscope does not occur is not correct. sent17: that either the orbing Ulmus does not occur or the orbing anarchy happens or both does not hold. sent18: the entrusting suppressor happens. sent19: the supplication occurs if the crucialness happens. sent20: the Columbianness happens if the subdivision occurs.
void -> assump1: Let's assume that the fact that the orbing Ulmus does not occur is not false.; assump1 -> int1: the orbing Ulmus does not occur or the orbing anarchy happens or both.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the orbing Ulmus occurs.; int3 & sent10 -> int4: the furor does not occur and/or the call-out happens.; int4 & sent11 -> int5: that the entrusting arthroscope happens hold.;
that the thermotherapy occurs is true.
$hypothesis$ = the thermotherapy does not occur. ; $context$ = sent1: if the supplication occurs then the cronyism and the non-Pavlovianness happens. sent2: the orbing anarchy does not occur. sent3: the citricness does not occur if the entrusting bouffant does not occur. sent4: that the hexangularness does not occur leads to that not the orbing marabou but the subdivision happens. sent5: the thermotherapy is prevented by that the entrusting arthroscope and the Texanness occurs. sent6: if the coppering happens the calcificness happens. sent7: that the subdivision does not occur triggers that the Texan happens and the Columbianness occurs. sent8: the fact that both the furor and the orbing anarchy occurs is wrong if the call-out does not occur. sent9: if the citricness does not occur the crucialness occurs and the radioness occurs. sent10: the furor does not occur and/or the call-out occurs if that the orbing Ulmus does not occur is not right. sent11: if the furor does not occur or the call-out happens or both that the entrusting arthroscope occurs is not incorrect. sent12: that the subdivision does not occur is not incorrect if the orbing marabou occurs. sent13: the hexangularness does not occur and the smudge does not occur if the Pavlovianness does not occur. sent14: the orbing anarchy does not occur if the fact that the furor and the orbing anarchy occurs is false. sent15: if the fact that the call-out but not the entrusting arthroscope occurs does not hold then the call-out does not occur. sent16: if the Texan does not occur the fact that the call-out occurs and the entrusting arthroscope does not occur is not correct. sent17: that either the orbing Ulmus does not occur or the orbing anarchy happens or both does not hold. sent18: the entrusting suppressor happens. sent19: the supplication occurs if the crucialness happens. sent20: the Columbianness happens if the subdivision occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the orbing Ulmus does not occur is not false.; assump1 -> int1: the orbing Ulmus does not occur or the orbing anarchy happens or both.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the orbing Ulmus occurs.; int3 & sent10 -> int4: the furor does not occur and/or the call-out happens.; int4 & sent11 -> int5: that the entrusting arthroscope happens hold.; __UNKNOWN__