that the otoplasty happens is right.
sent1: the otoplasty does not occur and the vaulting antioxidant does not occur if the self-help happens. sent2: if the conditioning happens the trace occurs and/or the terrorization does not occur. sent3: if the afforestation happens that the fact that the tracing does not occur and the conditioning does not occur does not hold is correct. sent4: the purifying earner triggers that the self-help happens. sent5: the fact that the afforestation does not occur hold. sent6: the conditioning occurs. sent7: that the spit and the tricentenariness occurs does not hold if that the intercontinentalness happens is incorrect. sent8: if that the spitting happens and the tricentenariness occurs is incorrect then the tricentenariness does not occur. sent9: the vaulting antioxidant does not occur if the fact that either the conditioning does not occur or the tracing does not occur or both is not right. sent10: if the autotomicness occurs then that the otoplasty occurs is not wrong. sent11: the eleven-plus happens if the autotomicness does not occur and the purifying earner does not occur. sent12: that the terrorization does not occur is brought about by either that the tracing occurs or that the terrorization does not occur or both. sent13: if the non-tricentenaryness and the non-ruralness happens then the walkover does not occur. sent14: that the eleven-plus but not the terrorization occurs is not true if the afforestation does not occur. sent15: if the walkover does not occur the vaulting crayon occurs and the afforestation occurs. sent16: if that the purifying earner does not occur and the autotomicness does not occur does not hold the vaulting snowboarder does not occur. sent17: if the fact that the tracing does not occur and the condition does not occur is false the vaulting antioxidant does not occur. sent18: that the intercontinentalness does not occur is not false. sent19: the autotomicness does not occur. sent20: if the afforestation occurs the fact that the conditioning does not occur and/or the tracing does not occur is incorrect.
void -> assump1: Let's assume that that the purifying earner does not occur is true.; sent19 & assump1 -> int1: the autotomicness does not occur and the purifying earner does not occur.; int1 & sent11 -> int2: the eleven-plus occurs.; sent2 & sent6 -> int3: either the trace happens or the terrorization does not occur or both.; sent12 & int3 -> int4: the terrorization does not occur.; int2 & int4 -> int5: the eleven-plus but not the terrorization occurs.; sent14 & sent5 -> int6: that the eleven-plus but not the terrorization occurs does not hold.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the purifying earner occurs.; int8 & sent4 -> int9: the self-help happens.; int9 & sent1 -> int10: the otoplasty does not occur and the vaulting antioxidant does not occur.; int10 -> hypothesis;
the fact that the vaulting snowboarder does not occur hold.
$hypothesis$ = that the otoplasty happens is right. ; $context$ = sent1: the otoplasty does not occur and the vaulting antioxidant does not occur if the self-help happens. sent2: if the conditioning happens the trace occurs and/or the terrorization does not occur. sent3: if the afforestation happens that the fact that the tracing does not occur and the conditioning does not occur does not hold is correct. sent4: the purifying earner triggers that the self-help happens. sent5: the fact that the afforestation does not occur hold. sent6: the conditioning occurs. sent7: that the spit and the tricentenariness occurs does not hold if that the intercontinentalness happens is incorrect. sent8: if that the spitting happens and the tricentenariness occurs is incorrect then the tricentenariness does not occur. sent9: the vaulting antioxidant does not occur if the fact that either the conditioning does not occur or the tracing does not occur or both is not right. sent10: if the autotomicness occurs then that the otoplasty occurs is not wrong. sent11: the eleven-plus happens if the autotomicness does not occur and the purifying earner does not occur. sent12: that the terrorization does not occur is brought about by either that the tracing occurs or that the terrorization does not occur or both. sent13: if the non-tricentenaryness and the non-ruralness happens then the walkover does not occur. sent14: that the eleven-plus but not the terrorization occurs is not true if the afforestation does not occur. sent15: if the walkover does not occur the vaulting crayon occurs and the afforestation occurs. sent16: if that the purifying earner does not occur and the autotomicness does not occur does not hold the vaulting snowboarder does not occur. sent17: if the fact that the tracing does not occur and the condition does not occur is false the vaulting antioxidant does not occur. sent18: that the intercontinentalness does not occur is not false. sent19: the autotomicness does not occur. sent20: if the afforestation occurs the fact that the conditioning does not occur and/or the tracing does not occur is incorrect. ; $proof$ = 
void -> assump1: Let's assume that that the purifying earner does not occur is true.; sent19 & assump1 -> int1: the autotomicness does not occur and the purifying earner does not occur.; int1 & sent11 -> int2: the eleven-plus occurs.; sent2 & sent6 -> int3: either the trace happens or the terrorization does not occur or both.; sent12 & int3 -> int4: the terrorization does not occur.; int2 & int4 -> int5: the eleven-plus but not the terrorization occurs.; sent14 & sent5 -> int6: that the eleven-plus but not the terrorization occurs does not hold.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the purifying earner occurs.; int8 & sent4 -> int9: the self-help happens.; int9 & sent1 -> int10: the otoplasty does not occur and the vaulting antioxidant does not occur.; int10 -> hypothesis; __DISPROVED__