there is something such that if it is not mature that it is a handout and not planetary does not hold.
sent1: the fact that something is perithelial but it is not summery is false if it does champ. sent2: the fact that something does recline ordering but it is not bibliographic is wrong if it is not exocentric. sent3: there exists something such that if the fact that it is not mature is not false that it is a handout and it is planetary is not right. sent4: the caseworm is a kind of a handout but it is not planetary if it does not mature. sent5: that something is nontechnical and not a motion is incorrect if it is irreversible. sent6: the fact that there exists something such that if that it does mature is not false the fact that it is a handout and it is not planetary is incorrect is not wrong. sent7: if something is not a Page that it does ensconce rates and it is not joyless is wrong. sent8: something is a handout but not planetary if it is not mature. sent9: if the fact that the caseworm is not a water-rate is not wrong then the fact that it is planetary and it is non-chondritic is wrong. sent10: the fact that that something is a kind of a chemoreceptor and does not fish doxycycline is not false is not right if it is not lobate. sent11: the fact that the caseworm is both a handout and not planetary is incorrect if it matures. sent12: that something is a kind of a handout that is not planetary is not true if it is not mature. sent13: the fact that the caseworm does ensconce fibbing but it is immature does not hold if it is not a recessive. sent14: if the caseworm does not mature that it is a handout and is planetary is not true. sent15: there exists something such that if it is not mature then it is a kind of a handout that is not planetary. sent16: the fact that something is a handout and is planetary is not correct if it is not mature. sent17: the fact that there is something such that if it is not a jagged that it is appropriate and it is not a flashover is wrong is not incorrect. sent18: that something is passionate and tracked does not hold if it is not non-vicinal.
sent12 -> int1: if the fact that the caseworm does not mature is not wrong that it is a handout and not planetary is wrong.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not mature that it is a handout and not planetary does not hold. ; $context$ = sent1: the fact that something is perithelial but it is not summery is false if it does champ. sent2: the fact that something does recline ordering but it is not bibliographic is wrong if it is not exocentric. sent3: there exists something such that if the fact that it is not mature is not false that it is a handout and it is planetary is not right. sent4: the caseworm is a kind of a handout but it is not planetary if it does not mature. sent5: that something is nontechnical and not a motion is incorrect if it is irreversible. sent6: the fact that there exists something such that if that it does mature is not false the fact that it is a handout and it is not planetary is incorrect is not wrong. sent7: if something is not a Page that it does ensconce rates and it is not joyless is wrong. sent8: something is a handout but not planetary if it is not mature. sent9: if the fact that the caseworm is not a water-rate is not wrong then the fact that it is planetary and it is non-chondritic is wrong. sent10: the fact that that something is a kind of a chemoreceptor and does not fish doxycycline is not false is not right if it is not lobate. sent11: the fact that the caseworm is both a handout and not planetary is incorrect if it matures. sent12: that something is a kind of a handout that is not planetary is not true if it is not mature. sent13: the fact that the caseworm does ensconce fibbing but it is immature does not hold if it is not a recessive. sent14: if the caseworm does not mature that it is a handout and is planetary is not true. sent15: there exists something such that if it is not mature then it is a kind of a handout that is not planetary. sent16: the fact that something is a handout and is planetary is not correct if it is not mature. sent17: the fact that there is something such that if it is not a jagged that it is appropriate and it is not a flashover is wrong is not incorrect. sent18: that something is passionate and tracked does not hold if it is not non-vicinal. ; $proof$ = 
sent12 -> int1: if the fact that the caseworm does not mature is not wrong that it is a handout and not planetary is wrong.; int1 -> hypothesis; __PROVED__