the twins does not occur.
sent1: if that the segregation but not the bind occurs is false the anestheticness does not occur. sent2: if the adroitness does not occur and the binding occurs the retaliation does not occur. sent3: the inactivation is prevented by that the interjection but not the twins occurs. sent4: the binding happens. sent5: the inactivation happens. sent6: the segregation does not occur if either the anestheticness or the adroitness or both occurs. sent7: the segregation occurs. sent8: the twins does not occur if the fact that both the twins and the non-adroitness occurs is wrong. sent9: the inactivation occurs if the retaliation does not occur. sent10: the interjection does not occur if the clonicness occurs. sent11: the anestheticness does not occur if both the non-adroitness and the segregation happens. sent12: if the meander does not occur then both the hyphenation and the clonicness occurs. sent13: if that the inactivation does not occur is not incorrect then that the retaliation does not occur and the abnormalness does not occur is incorrect. sent14: the retaliation occurs if the retaliation happens and/or the inactivation does not occur. sent15: if the anesthetic does not occur the allylicness or the amphoricness or both happens. sent16: if that either the abnormalness occurs or the inactivation happens or both does not hold the twins occurs. sent17: the twinning happens if the fact that the abnormalness occurs and/or the inactivation does not occur is not true. sent18: that the clonicness happens triggers the fact that that the interjection but not the twinning happens hold. sent19: the anestheticness leads to that the segregation does not occur. sent20: the fact that either the abnormalness happens or the inactivation does not occur or both is false if the retaliation does not occur. sent21: if the bind does not occur both the non-adroitness and the segregation happens.
void -> assump1: Let's assume that that the adroitness happens is correct.; assump1 -> int1: the anestheticness and/or the adroitness occurs.; int1 & sent6 -> int2: the segregation does not occur.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the adroitness does not occur.; int4 & sent4 -> int5: the fact that the adroitness does not occur and the bind happens is true.; int5 & sent2 -> int6: the retaliation does not occur.; int6 & sent20 -> int7: that either the abnormalness happens or the inactivation does not occur or both does not hold.; int7 & sent17 -> hypothesis;
the allylicness occurs or the amphoricness occurs or both.
$hypothesis$ = the twins does not occur. ; $context$ = sent1: if that the segregation but not the bind occurs is false the anestheticness does not occur. sent2: if the adroitness does not occur and the binding occurs the retaliation does not occur. sent3: the inactivation is prevented by that the interjection but not the twins occurs. sent4: the binding happens. sent5: the inactivation happens. sent6: the segregation does not occur if either the anestheticness or the adroitness or both occurs. sent7: the segregation occurs. sent8: the twins does not occur if the fact that both the twins and the non-adroitness occurs is wrong. sent9: the inactivation occurs if the retaliation does not occur. sent10: the interjection does not occur if the clonicness occurs. sent11: the anestheticness does not occur if both the non-adroitness and the segregation happens. sent12: if the meander does not occur then both the hyphenation and the clonicness occurs. sent13: if that the inactivation does not occur is not incorrect then that the retaliation does not occur and the abnormalness does not occur is incorrect. sent14: the retaliation occurs if the retaliation happens and/or the inactivation does not occur. sent15: if the anesthetic does not occur the allylicness or the amphoricness or both happens. sent16: if that either the abnormalness occurs or the inactivation happens or both does not hold the twins occurs. sent17: the twinning happens if the fact that the abnormalness occurs and/or the inactivation does not occur is not true. sent18: that the clonicness happens triggers the fact that that the interjection but not the twinning happens hold. sent19: the anestheticness leads to that the segregation does not occur. sent20: the fact that either the abnormalness happens or the inactivation does not occur or both is false if the retaliation does not occur. sent21: if the bind does not occur both the non-adroitness and the segregation happens. ; $proof$ = 
void -> assump1: Let's assume that that the adroitness happens is correct.; assump1 -> int1: the anestheticness and/or the adroitness occurs.; int1 & sent6 -> int2: the segregation does not occur.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the adroitness does not occur.; int4 & sent4 -> int5: the fact that the adroitness does not occur and the bind happens is true.; int5 & sent2 -> int6: the retaliation does not occur.; int6 & sent20 -> int7: that either the abnormalness happens or the inactivation does not occur or both does not hold.; int7 & sent17 -> hypothesis; __DISPROVED__