the saponaceousness occurs.
sent1: the non-choragicness or the non-selfness or both happens if the banding predicate does not occur. sent2: the Sovietness occurs. sent3: if the ventilating putridity does not occur then not the banding predicate but the paschalness occurs. sent4: the self does not occur if either the choragicness does not occur or the self does not occur or both. sent5: if the abduction does not occur then the saponaceousness happens. sent6: the fact that both the acidimetry and the garlickiness happens is wrong if the lockout does not occur. sent7: that the lockout does not occur is triggered by the non-Argentineness. sent8: the limnologicalness happens if the aviation occurs. sent9: that the limnologicalness happens and/or the Transportation does not occur prevents the Argentineness. sent10: if the midterm does not occur the abduction does not occur. sent11: if that the selfness does not occur hold the wake occurs and the abduction occurs. sent12: the ineligibleness does not occur if that the acidimetry and the garlickiness occurs is incorrect. sent13: if the ineligibleness does not occur the ventilating putridity does not occur.
void -> assump1: Let's assume that that the midterm happens but the Sovietness does not occur is not incorrect.; assump1 -> int1: the Sovietness does not occur.; sent2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the midterm and the non-Sovietness occurs does not hold.;
the saponaceousness does not occur.
$hypothesis$ = the saponaceousness occurs. ; $context$ = sent1: the non-choragicness or the non-selfness or both happens if the banding predicate does not occur. sent2: the Sovietness occurs. sent3: if the ventilating putridity does not occur then not the banding predicate but the paschalness occurs. sent4: the self does not occur if either the choragicness does not occur or the self does not occur or both. sent5: if the abduction does not occur then the saponaceousness happens. sent6: the fact that both the acidimetry and the garlickiness happens is wrong if the lockout does not occur. sent7: that the lockout does not occur is triggered by the non-Argentineness. sent8: the limnologicalness happens if the aviation occurs. sent9: that the limnologicalness happens and/or the Transportation does not occur prevents the Argentineness. sent10: if the midterm does not occur the abduction does not occur. sent11: if that the selfness does not occur hold the wake occurs and the abduction occurs. sent12: the ineligibleness does not occur if that the acidimetry and the garlickiness occurs is incorrect. sent13: if the ineligibleness does not occur the ventilating putridity does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the midterm happens but the Sovietness does not occur is not incorrect.; assump1 -> int1: the Sovietness does not occur.; sent2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the midterm and the non-Sovietness occurs does not hold.; __UNKNOWN__