the consecration happens.
sent1: if the resisting abatement does not occur and the strangulating Dewar does not occur the inopportuneness does not occur. sent2: the fumble happens if the fact that the caravanning does not occur and the levitating does not occur is wrong. sent3: the cruralness does not occur if either the radial-pliness happens or the weaving occurs or both. sent4: the fact that both the hypothalamicness and the velar happens is incorrect. sent5: that the facialness does not occur and the tweezing does not occur is wrong if the eccentricness happens. sent6: the facial happens. sent7: that the consecration does not occur is prevented by that the cruralness does not occur but the inopportuneness happens. sent8: the hypothalamicness does not occur. sent9: the caravan does not occur if the fact that the strangulating Dewar does not occur and the resisting abatement happens is wrong. sent10: the levitating occurs if the non-hypothalamicness and the velarness happens. sent11: if the see happens and the separatism happens then the sublittoralness happens. sent12: the eccentric occurs. sent13: if that not the hypothalamicness but the velar occurs is not true the radial-pliness occurs. sent14: if the insistence does not occur and the seeing occurs the tonalness occurs. sent15: the caravanning happens if the levitating occurs. sent16: the inopportuneness happens and the tweezing occurs.
void -> assump1: Let's assume that the non-hypothalamicness and the velar occurs.; sent10 & assump1 -> int1: the levitating occurs.; int1 & sent15 -> int2: the caravan happens.; sent16 -> int3: the inopportuneness occurs.;
the fumble occurs.
sent5 & sent12 -> int4: the fact that the facial does not occur and the tweezing does not occur is not true.;
$hypothesis$ = the consecration happens. ; $context$ = sent1: if the resisting abatement does not occur and the strangulating Dewar does not occur the inopportuneness does not occur. sent2: the fumble happens if the fact that the caravanning does not occur and the levitating does not occur is wrong. sent3: the cruralness does not occur if either the radial-pliness happens or the weaving occurs or both. sent4: the fact that both the hypothalamicness and the velar happens is incorrect. sent5: that the facialness does not occur and the tweezing does not occur is wrong if the eccentricness happens. sent6: the facial happens. sent7: that the consecration does not occur is prevented by that the cruralness does not occur but the inopportuneness happens. sent8: the hypothalamicness does not occur. sent9: the caravan does not occur if the fact that the strangulating Dewar does not occur and the resisting abatement happens is wrong. sent10: the levitating occurs if the non-hypothalamicness and the velarness happens. sent11: if the see happens and the separatism happens then the sublittoralness happens. sent12: the eccentric occurs. sent13: if that not the hypothalamicness but the velar occurs is not true the radial-pliness occurs. sent14: if the insistence does not occur and the seeing occurs the tonalness occurs. sent15: the caravanning happens if the levitating occurs. sent16: the inopportuneness happens and the tweezing occurs. ; $proof$ = 
void -> assump1: Let's assume that the non-hypothalamicness and the velar occurs.; sent10 & assump1 -> int1: the levitating occurs.; int1 & sent15 -> int2: the caravan happens.; sent16 -> int3: the inopportuneness occurs.; __UNKNOWN__