the non-feverishness is prevented by that the proconsulship does not occur.
sent1: either the subdividing jackhammer or the erectingness or both happens. sent2: if the score occurs then the proconsulship occurs. sent3: if the irrational occurs and/or the fox does not occur the fact that the anticyclone occurs is true. sent4: if the Moravianness and the non-erectingness occurs the lactation does not occur. sent5: if the fact that the subdividing Kwakiutl occurs is correct then the feverishness happens. sent6: that the retrofitting happens hold. sent7: the subdividing Kwakiutl does not occur if the fact that the wintriness occurs and the feverishness does not occur is not true. sent8: if the spacing tutu occurs then the interpreting mandator happens and the arc does not occur. sent9: if the eventfulness does not occur that the wintriness occurs but the feverishness does not occur is not correct. sent10: the score happens if the Moravianness does not occur. sent11: if the erectingness occurs the Moravianness does not occur. sent12: if the interpreting mandator occurs then the eventfulness does not occur and the word does not occur. sent13: the subdividing anastigmat occurs. sent14: the prenatalness is caused by that the alert happens and/or that the dunning perfumery does not occur. sent15: if the proconsulship happens then the feverishness happens. sent16: the dunning glance occurs. sent17: that the interpreting mestiza happens is correct. sent18: the Creoleness does not occur. sent19: the anticyclone occurs.
void -> assump2: Let's assume that the erectingness happens.; sent11 & assump2 -> int1: the Moravianness does not occur.; sent10 & int1 -> int2: the scoring occurs.; sent2 & int2 -> int3: the fact that the proconsulship occurs is correct.; void -> assump1: Let's assume that that the proconsulship does not occur hold.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the erectingness does not occur.; int5 -> int6: the subdividing jackhammer occurs and/or the erectingness does not occur.;
the lactation does not occur.
$hypothesis$ = the non-feverishness is prevented by that the proconsulship does not occur. ; $context$ = sent1: either the subdividing jackhammer or the erectingness or both happens. sent2: if the score occurs then the proconsulship occurs. sent3: if the irrational occurs and/or the fox does not occur the fact that the anticyclone occurs is true. sent4: if the Moravianness and the non-erectingness occurs the lactation does not occur. sent5: if the fact that the subdividing Kwakiutl occurs is correct then the feverishness happens. sent6: that the retrofitting happens hold. sent7: the subdividing Kwakiutl does not occur if the fact that the wintriness occurs and the feverishness does not occur is not true. sent8: if the spacing tutu occurs then the interpreting mandator happens and the arc does not occur. sent9: if the eventfulness does not occur that the wintriness occurs but the feverishness does not occur is not correct. sent10: the score happens if the Moravianness does not occur. sent11: if the erectingness occurs the Moravianness does not occur. sent12: if the interpreting mandator occurs then the eventfulness does not occur and the word does not occur. sent13: the subdividing anastigmat occurs. sent14: the prenatalness is caused by that the alert happens and/or that the dunning perfumery does not occur. sent15: if the proconsulship happens then the feverishness happens. sent16: the dunning glance occurs. sent17: that the interpreting mestiza happens is correct. sent18: the Creoleness does not occur. sent19: the anticyclone occurs. ; $proof$ = 
void -> assump2: Let's assume that the erectingness happens.; sent11 & assump2 -> int1: the Moravianness does not occur.; sent10 & int1 -> int2: the scoring occurs.; sent2 & int2 -> int3: the fact that the proconsulship occurs is correct.; void -> assump1: Let's assume that that the proconsulship does not occur hold.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the erectingness does not occur.; int5 -> int6: the subdividing jackhammer occurs and/or the erectingness does not occur.; __UNKNOWN__