the eluding does not occur.
sent1: if the jazz does not occur and the aversion does not occur that the swapping matted occurs hold. sent2: the extrusion occurs and the plague does not occur if the swapping matted happens. sent3: the polish occurs. sent4: if the hemisphericalness does not occur the sobriety and the deanery occurs. sent5: the polishing is prevented by the non-hyperthermalness. sent6: the jazzing does not occur and the aversion does not occur if the sobriety happens. sent7: the vindication does not occur if the inflecting happens. sent8: that the serousness does not occur leads to that the discharging happens and the singling Lancelot occurs. sent9: if the plague does not occur then the pediatricsness does not occur but the febrileness occurs. sent10: if the eluding happens the singling businessperson does not occur. sent11: the hyperthermalness does not occur if the non-pediatricsness and the febrileness occurs. sent12: if the discharging occurs then both the non-hemisphericalness and the non-acyclicness occurs. sent13: if the polishing does not occur the eluding and the singling businessperson happens.
void -> assump1: Let's assume that the eluding happens.; sent10 & assump1 -> int1: the singling businessperson does not occur.;
the eluding occurs.
$hypothesis$ = the eluding does not occur. ; $context$ = sent1: if the jazz does not occur and the aversion does not occur that the swapping matted occurs hold. sent2: the extrusion occurs and the plague does not occur if the swapping matted happens. sent3: the polish occurs. sent4: if the hemisphericalness does not occur the sobriety and the deanery occurs. sent5: the polishing is prevented by the non-hyperthermalness. sent6: the jazzing does not occur and the aversion does not occur if the sobriety happens. sent7: the vindication does not occur if the inflecting happens. sent8: that the serousness does not occur leads to that the discharging happens and the singling Lancelot occurs. sent9: if the plague does not occur then the pediatricsness does not occur but the febrileness occurs. sent10: if the eluding happens the singling businessperson does not occur. sent11: the hyperthermalness does not occur if the non-pediatricsness and the febrileness occurs. sent12: if the discharging occurs then both the non-hemisphericalness and the non-acyclicness occurs. sent13: if the polishing does not occur the eluding and the singling businessperson happens. ; $proof$ = 
void -> assump1: Let's assume that the eluding happens.; sent10 & assump1 -> int1: the singling businessperson does not occur.; __UNKNOWN__