the fact that the pyroelectricness happens and the thoughtlessness occurs does not hold.
sent1: the rappeling does not occur. sent2: the unequalness does not occur. sent3: if the fact that the rappeling does not occur and the unretentiveness does not occur does not hold the material does not occur. sent4: the hook does not occur. sent5: that the unfrozenness happens is not false if the exhortation does not occur. sent6: the sortition happens. sent7: if the automobiling does not occur the presocraticness happens. sent8: if the silencing soled and the limbicness happens the humming scamper does not occur. sent9: the gradating does not occur. sent10: the fact that not the arrogating but the hook happens does not hold if the iteration does not occur. sent11: if the rappel does not occur either the silencing soled occurs or the limbicness happens or both. sent12: if the rappel happens the material does not occur. sent13: that the rappeling does not occur and the unretentiveness does not occur does not hold if the limbicness does not occur. sent14: that the pyroelectricness happens is caused by that the silencing soled occurs. sent15: the intifada does not occur. sent16: if that the compounding does not occur and the teeming does not occur is not correct then the viscometricness does not occur. sent17: the unitization happens. sent18: that the pyroelectricness occurs and the thoughtlessness happens is false if the materialness does not occur. sent19: the silencing soled occurs.
void -> assump1: Let's assume that that the limbicness happens is correct.; sent19 & assump1 -> int1: both the silencing soled and the limbicness happens.; int1 & sent8 -> int2: the humming scamper does not occur.;
both the pyroelectricness and the thoughtlessness occurs.
sent11 & sent1 -> int3: the silencing soled happens and/or the limbicness happens.;
$hypothesis$ = the fact that the pyroelectricness happens and the thoughtlessness occurs does not hold. ; $context$ = sent1: the rappeling does not occur. sent2: the unequalness does not occur. sent3: if the fact that the rappeling does not occur and the unretentiveness does not occur does not hold the material does not occur. sent4: the hook does not occur. sent5: that the unfrozenness happens is not false if the exhortation does not occur. sent6: the sortition happens. sent7: if the automobiling does not occur the presocraticness happens. sent8: if the silencing soled and the limbicness happens the humming scamper does not occur. sent9: the gradating does not occur. sent10: the fact that not the arrogating but the hook happens does not hold if the iteration does not occur. sent11: if the rappel does not occur either the silencing soled occurs or the limbicness happens or both. sent12: if the rappel happens the material does not occur. sent13: that the rappeling does not occur and the unretentiveness does not occur does not hold if the limbicness does not occur. sent14: that the pyroelectricness happens is caused by that the silencing soled occurs. sent15: the intifada does not occur. sent16: if that the compounding does not occur and the teeming does not occur is not correct then the viscometricness does not occur. sent17: the unitization happens. sent18: that the pyroelectricness occurs and the thoughtlessness happens is false if the materialness does not occur. sent19: the silencing soled occurs. ; $proof$ = 
void -> assump1: Let's assume that that the limbicness happens is correct.; sent19 & assump1 -> int1: both the silencing soled and the limbicness happens.; int1 & sent8 -> int2: the humming scamper does not occur.; __UNKNOWN__