that the unsentness happens hold.
sent1: the nonenzymaticness does not occur if the fact that the overturning VA occurs but the averaging nalorphine does not occur does not hold. sent2: if the heroine occurs the unsentness occurs. sent3: not the heroine but the Polynesian happens if the fact that the flexure happens is not false. sent4: the averaging isoagglutinogen and the recirculation occurs. sent5: if the playing nunnery does not occur that the auxinicness and the argenticness occurs is not right. sent6: the flexure happens if the fact that the explication does not occur and the flexure does not occur is not true. sent7: the movie does not occur if that the movie occurs but the stylishness does not occur is false. sent8: the auxinicness does not occur if that both the auxinicness and the argenticness happens does not hold. sent9: if the recirculation does not occur the averaging isoagglutinogen does not occur and the unsentness does not occur. sent10: the fact that the pudendalness occurs is correct if the recirculation happens. sent11: if the closeness occurs the fact that the overturning VA but not the averaging nalorphine occurs is false. sent12: that that that the explication does not occur and the flexure does not occur is correct is not right hold if the movie does not occur. sent13: if the nonenzymaticness does not occur then the fact that the movie occurs and the stylishness does not occur is not right. sent14: if the auxinicness does not occur both the closeness and the expansionistness occurs. sent15: that the heroine happens is brought about by the pudendalness.
sent4 -> int1: the recirculation occurs.; sent10 & int1 -> int2: the pudendalness occurs.; sent15 & int2 -> int3: the heroine happens.; sent2 & int3 -> hypothesis;
the unsentness does not occur.
$hypothesis$ = that the unsentness happens hold. ; $context$ = sent1: the nonenzymaticness does not occur if the fact that the overturning VA occurs but the averaging nalorphine does not occur does not hold. sent2: if the heroine occurs the unsentness occurs. sent3: not the heroine but the Polynesian happens if the fact that the flexure happens is not false. sent4: the averaging isoagglutinogen and the recirculation occurs. sent5: if the playing nunnery does not occur that the auxinicness and the argenticness occurs is not right. sent6: the flexure happens if the fact that the explication does not occur and the flexure does not occur is not true. sent7: the movie does not occur if that the movie occurs but the stylishness does not occur is false. sent8: the auxinicness does not occur if that both the auxinicness and the argenticness happens does not hold. sent9: if the recirculation does not occur the averaging isoagglutinogen does not occur and the unsentness does not occur. sent10: the fact that the pudendalness occurs is correct if the recirculation happens. sent11: if the closeness occurs the fact that the overturning VA but not the averaging nalorphine occurs is false. sent12: that that that the explication does not occur and the flexure does not occur is correct is not right hold if the movie does not occur. sent13: if the nonenzymaticness does not occur then the fact that the movie occurs and the stylishness does not occur is not right. sent14: if the auxinicness does not occur both the closeness and the expansionistness occurs. sent15: that the heroine happens is brought about by the pudendalness. ; $proof$ = 
sent4 -> int1: the recirculation occurs.; sent10 & int1 -> int2: the pudendalness occurs.; sent15 & int2 -> int3: the heroine happens.; sent2 & int3 -> hypothesis; __PROVED__