that the rollover does not occur is not right.
sent1: the rollover does not occur if the fact that the hearing minded occurs but the miscarrying cholinesterase does not occur is not true. sent2: the hearing gulping occurs if the creation occurs. sent3: that the sentimentalization does not occur does not hold. sent4: the fandango does not occur. sent5: if the hearing Canella-alba does not occur the creation and the congressionalness happens. sent6: the Frenchifying Cyamus does not occur. sent7: the vacuolateness does not occur. sent8: the sociableness happens. sent9: the hearing minded occurs if the fact that the indentation does not occur and the juvenile does not occur is not false. sent10: if not the knee-lengthness but the benison happens then the lift occurs. sent11: the hearing Canella-alba does not occur if that the hearing Canella-alba happens and the scraping does not occur is not correct. sent12: the indentation does not occur and the juvenileness does not occur. sent13: that the hearing minded happens causes that the rollover happens. sent14: that if the hearing gulping occurs then that the hearing minded but not the miscarrying cholinesterase happens is wrong hold.
sent9 & sent12 -> int1: the hearing minded occurs.; sent13 & int1 -> hypothesis;
the rollover does not occur.
$hypothesis$ = that the rollover does not occur is not right. ; $context$ = sent1: the rollover does not occur if the fact that the hearing minded occurs but the miscarrying cholinesterase does not occur is not true. sent2: the hearing gulping occurs if the creation occurs. sent3: that the sentimentalization does not occur does not hold. sent4: the fandango does not occur. sent5: if the hearing Canella-alba does not occur the creation and the congressionalness happens. sent6: the Frenchifying Cyamus does not occur. sent7: the vacuolateness does not occur. sent8: the sociableness happens. sent9: the hearing minded occurs if the fact that the indentation does not occur and the juvenile does not occur is not false. sent10: if not the knee-lengthness but the benison happens then the lift occurs. sent11: the hearing Canella-alba does not occur if that the hearing Canella-alba happens and the scraping does not occur is not correct. sent12: the indentation does not occur and the juvenileness does not occur. sent13: that the hearing minded happens causes that the rollover happens. sent14: that if the hearing gulping occurs then that the hearing minded but not the miscarrying cholinesterase happens is wrong hold. ; $proof$ = 
sent9 & sent12 -> int1: the hearing minded occurs.; sent13 & int1 -> hypothesis; __PROVED__