the ipsilateralness but not the subtilizing foot happens.
sent1: if the Babel does not occur then the hyperthermalness does not occur and the garnering countersuit does not occur. sent2: that that the denying glass-cutter and the pitching trapezohedron occurs is not incorrect does not hold if the quickstep does not occur. sent3: that if that the Babel and the non-hyperthermalness occurs is not correct then the garnering countersuit happens hold. sent4: that the swinging occurs hold. sent5: if that the ipsilateralness but not the subtilizing foot occurs is false the garnering countersuit does not occur. sent6: that the peg does not occur is brought about by the pitching fishbone. sent7: that both the Babel and the non-hyperthermalness happens is false. sent8: the hyperthermalness does not occur if the garnering countersuit but not the Babel occurs. sent9: if the fact that the fact that either the decaying does not occur or the allowance does not occur or both does not hold is correct then the takeoff does not occur. sent10: if the ipsilateralness does not occur the garnering countersuit does not occur. sent11: if the Babel does not occur then the garnering countersuit occurs. sent12: the fact that the ipsilateralness happens is correct. sent13: the fact that the decay does not occur and/or the allowancing does not occur is incorrect if the denying plight occurs. sent14: the garnering countersuit happens and the Babel does not occur if the fact that the takeoff does not occur is not incorrect. sent15: if that the quickstep occurs and the pitching trapezohedron happens is not right then that the garnering pompon does not occur hold. sent16: the acting does not occur and the garnering pompon does not occur if the fact that the pitching trapezohedron does not occur hold. sent17: if the allowancing happens then that the decaying happens but the takeoff does not occur is not right. sent18: if the acting does not occur then the denying plight does not occur but the allowance happens. sent19: the pitching trapezohedron does not occur if that both the denying glass-cutter and the pitching trapezohedron occurs is wrong. sent20: that the garnering pompon does not occur brings about that both the denying plight and the acting occurs. sent21: that the ipsilateralness happens but the subtilizing foot does not occur is not right if the hyperthermalness does not occur.
void -> assump1: Let's assume that that the ipsilateralness happens but the subtilizing foot does not occur is false.; sent5 & assump1 -> int1: the garnering countersuit does not occur.; sent3 & sent7 -> int2: the garnering countersuit happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
that the ipsilateralness but not the subtilizing foot happens does not hold.
$hypothesis$ = the ipsilateralness but not the subtilizing foot happens. ; $context$ = sent1: if the Babel does not occur then the hyperthermalness does not occur and the garnering countersuit does not occur. sent2: that that the denying glass-cutter and the pitching trapezohedron occurs is not incorrect does not hold if the quickstep does not occur. sent3: that if that the Babel and the non-hyperthermalness occurs is not correct then the garnering countersuit happens hold. sent4: that the swinging occurs hold. sent5: if that the ipsilateralness but not the subtilizing foot occurs is false the garnering countersuit does not occur. sent6: that the peg does not occur is brought about by the pitching fishbone. sent7: that both the Babel and the non-hyperthermalness happens is false. sent8: the hyperthermalness does not occur if the garnering countersuit but not the Babel occurs. sent9: if the fact that the fact that either the decaying does not occur or the allowance does not occur or both does not hold is correct then the takeoff does not occur. sent10: if the ipsilateralness does not occur the garnering countersuit does not occur. sent11: if the Babel does not occur then the garnering countersuit occurs. sent12: the fact that the ipsilateralness happens is correct. sent13: the fact that the decay does not occur and/or the allowancing does not occur is incorrect if the denying plight occurs. sent14: the garnering countersuit happens and the Babel does not occur if the fact that the takeoff does not occur is not incorrect. sent15: if that the quickstep occurs and the pitching trapezohedron happens is not right then that the garnering pompon does not occur hold. sent16: the acting does not occur and the garnering pompon does not occur if the fact that the pitching trapezohedron does not occur hold. sent17: if the allowancing happens then that the decaying happens but the takeoff does not occur is not right. sent18: if the acting does not occur then the denying plight does not occur but the allowance happens. sent19: the pitching trapezohedron does not occur if that both the denying glass-cutter and the pitching trapezohedron occurs is wrong. sent20: that the garnering pompon does not occur brings about that both the denying plight and the acting occurs. sent21: that the ipsilateralness happens but the subtilizing foot does not occur is not right if the hyperthermalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the ipsilateralness happens but the subtilizing foot does not occur is false.; sent5 & assump1 -> int1: the garnering countersuit does not occur.; sent3 & sent7 -> int2: the garnering countersuit happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__