there exists something such that if that it is fossiliferous and it is not a kind of a barye does not hold then it does not capitulate.
sent1: there exists something such that if the fact that that it talcs quango and is a kind of a phosphorescence is right is not right then it does not geyser Gabon. sent2: the chine does not capitulate if that it does geyser piezometer and it is not allomerous does not hold. sent3: there exists something such that if the fact that it is fossiliferous and is not a kind of a barye is not true then that it does capitulate is right. sent4: that the chine does not capitulate is not wrong if it is not fossiliferous. sent5: there exists something such that if it is fossiliferous but not a barye then it does not capitulate. sent6: there exists something such that if the fact that it is a dirge and coexists is not right it is not a Federal. sent7: if that something is both a scrag and not a Golan is false the fact that it is not a barye is not false. sent8: the chine does not flicker condemnation if the fact that it is both fossiliferous and not pronounceable hold. sent9: there exists something such that if it is a kind of a barye then it does not capitulate. sent10: the fact that the chine capitulates is right if the fact that it is a tickle and it is not unseamanlike is incorrect. sent11: the rifleman is metabolic if that it is plutocratic and it is not a barye is incorrect. sent12: the tovarich is not stale if it is a soup but not fossiliferous. sent13: the fact that the chine is not a barye is not incorrect if the fact that it is a kind of synclinal thing that does not talc totality is wrong. sent14: there exists something such that if it is not fossiliferous the fact that it does not capitulate is correct. sent15: the chine does not talc primitive if it is a LGV and it is not a kind of a spoiler. sent16: the chine does not capitulate if the fact that it is fossiliferous and it is a barye is false. sent17: the fact that the chine does not coexist is not false if it is an exception but not discordant. sent18: the chine does not capitulate if the fact that it is fossiliferous thing that is not a barye is not correct.
sent18 -> hypothesis;
the strip is not a kind of a barye if that it is a scrag that is not a Golan is incorrect.
sent7 -> hypothesis;
$hypothesis$ = there exists something such that if that it is fossiliferous and it is not a kind of a barye does not hold then it does not capitulate. ; $context$ = sent1: there exists something such that if the fact that that it talcs quango and is a kind of a phosphorescence is right is not right then it does not geyser Gabon. sent2: the chine does not capitulate if that it does geyser piezometer and it is not allomerous does not hold. sent3: there exists something such that if the fact that it is fossiliferous and is not a kind of a barye is not true then that it does capitulate is right. sent4: that the chine does not capitulate is not wrong if it is not fossiliferous. sent5: there exists something such that if it is fossiliferous but not a barye then it does not capitulate. sent6: there exists something such that if the fact that it is a dirge and coexists is not right it is not a Federal. sent7: if that something is both a scrag and not a Golan is false the fact that it is not a barye is not false. sent8: the chine does not flicker condemnation if the fact that it is both fossiliferous and not pronounceable hold. sent9: there exists something such that if it is a kind of a barye then it does not capitulate. sent10: the fact that the chine capitulates is right if the fact that it is a tickle and it is not unseamanlike is incorrect. sent11: the rifleman is metabolic if that it is plutocratic and it is not a barye is incorrect. sent12: the tovarich is not stale if it is a soup but not fossiliferous. sent13: the fact that the chine is not a barye is not incorrect if the fact that it is a kind of synclinal thing that does not talc totality is wrong. sent14: there exists something such that if it is not fossiliferous the fact that it does not capitulate is correct. sent15: the chine does not talc primitive if it is a LGV and it is not a kind of a spoiler. sent16: the chine does not capitulate if the fact that it is fossiliferous and it is a barye is false. sent17: the fact that the chine does not coexist is not false if it is an exception but not discordant. sent18: the chine does not capitulate if the fact that it is fossiliferous thing that is not a barye is not correct. ; $proof$ = 
sent18 -> hypothesis; __PROVED__