the expiation does not occur.
sent1: the unsurmountableness occurs. sent2: the Orthodoxness does not occur if the unsurmountableness occurs and/or the expiation does not occur. sent3: that the independence happens causes that the keratoscopy does not occur and the mobile occurs. sent4: that the knee-lengthness does not occur brings about that the expiation happens and the unsurmountableness happens. sent5: the baiting does not occur and the box does not occur if the override occurs. sent6: the expiation does not occur if the defibrillating roof does not occur. sent7: the phenomenon does not occur and the overriding happens. sent8: the fact that either that the quadrangularness occurs or that the bioterrorism does not occur or both is not incorrect is brought about by that the mobile occurs. sent9: that the creak does not occur is triggered by that the quadrangularness occurs or the bioterrorism does not occur or both. sent10: the knee-lengthness does not occur if the nauticalness happens. sent11: the spring-cleaning or the defibrillating doublet or both occurs if the interpellation does not occur. sent12: the nauticalness happens if the creak occurs. sent13: if the jugging happens the interpellation does not occur. sent14: that the baiting does not occur and the boxing does not occur yields the non-possessiveness. sent15: the unsurmountableness does not occur if that either the irradiation occurs or the defibrillating roof does not occur or both does not hold. sent16: that the jugging and/or the quickstepping occurs is triggered by the non-possessiveness.
void -> assump1: Let's assume that the fact that the irradiation happens or the defibrillating roof does not occur or both is incorrect.; sent15 & assump1 -> int1: the unsurmountableness does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: either the irradiation happens or the defibrillating roof does not occur or both.;
the expiation occurs.
$hypothesis$ = the expiation does not occur. ; $context$ = sent1: the unsurmountableness occurs. sent2: the Orthodoxness does not occur if the unsurmountableness occurs and/or the expiation does not occur. sent3: that the independence happens causes that the keratoscopy does not occur and the mobile occurs. sent4: that the knee-lengthness does not occur brings about that the expiation happens and the unsurmountableness happens. sent5: the baiting does not occur and the box does not occur if the override occurs. sent6: the expiation does not occur if the defibrillating roof does not occur. sent7: the phenomenon does not occur and the overriding happens. sent8: the fact that either that the quadrangularness occurs or that the bioterrorism does not occur or both is not incorrect is brought about by that the mobile occurs. sent9: that the creak does not occur is triggered by that the quadrangularness occurs or the bioterrorism does not occur or both. sent10: the knee-lengthness does not occur if the nauticalness happens. sent11: the spring-cleaning or the defibrillating doublet or both occurs if the interpellation does not occur. sent12: the nauticalness happens if the creak occurs. sent13: if the jugging happens the interpellation does not occur. sent14: that the baiting does not occur and the boxing does not occur yields the non-possessiveness. sent15: the unsurmountableness does not occur if that either the irradiation occurs or the defibrillating roof does not occur or both does not hold. sent16: that the jugging and/or the quickstepping occurs is triggered by the non-possessiveness. ; $proof$ = 
void -> assump1: Let's assume that the fact that the irradiation happens or the defibrillating roof does not occur or both is incorrect.; sent15 & assump1 -> int1: the unsurmountableness does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: either the irradiation happens or the defibrillating roof does not occur or both.; __UNKNOWN__