the fact that there is something such that if the fact that it does not board PAYE is correct it is acanthotic and it does not jet Arauca does not hold.
sent1: there exists something such that if it is not enolic then it does jet lamplighter and it is an executor. sent2: there is something such that if it does not satisfice then it is a kind of favorable thing that does board puffer. sent3: there is something such that if it is not a plage then it is nonarboreal and does jet silkworm. sent4: there is something such that if the fact that it boards PAYE is not incorrect then it is acanthotic and it does not jet Arauca. sent5: if the hole-in-the-wall does not board PAYE it is acanthotic and does jet Arauca. sent6: there exists something such that if it does not board PAYE then it is a kind of acanthotic thing that does jet Arauca. sent7: if the raceme does board PAYE it does board connoisseur and is not an undercut. sent8: if the hole-in-the-wall is not macrocephalic it does not board PAYE. sent9: there is something such that if it does not embrown it does not board plumbism. sent10: there exists something such that if the fact that it is not a kind of an exfoliation is correct it is poetic and Bermudan. sent11: the hole-in-the-wall is acanthotic but it does not jet Arauca if it does not board PAYE. sent12: if the hole-in-the-wall is a kind of a Drixoral it is a Buchloe and it is not a listing. sent13: the hole-in-the-wall is not non-acanthotic and does not jet Arauca if that it boards PAYE is correct. sent14: there exists something such that if it does not board PAYE it is not non-acanthotic. sent15: the hole-in-the-wall is acanthotic if it does not board PAYE. sent16: there exists something such that if it is not eugenics then it is a kind of a tailor. sent17: if the hole-in-the-wall is alterable then it does not jet Arauca. sent18: if something does not board velveteen then it is malarial thing that is not acanthotic.
sent11 -> hypothesis;
the hole-in-the-wall is a kind of malarial thing that is non-acanthotic if that it does not board velveteen is not wrong.
sent18 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it does not board PAYE is correct it is acanthotic and it does not jet Arauca does not hold. ; $context$ = sent1: there exists something such that if it is not enolic then it does jet lamplighter and it is an executor. sent2: there is something such that if it does not satisfice then it is a kind of favorable thing that does board puffer. sent3: there is something such that if it is not a plage then it is nonarboreal and does jet silkworm. sent4: there is something such that if the fact that it boards PAYE is not incorrect then it is acanthotic and it does not jet Arauca. sent5: if the hole-in-the-wall does not board PAYE it is acanthotic and does jet Arauca. sent6: there exists something such that if it does not board PAYE then it is a kind of acanthotic thing that does jet Arauca. sent7: if the raceme does board PAYE it does board connoisseur and is not an undercut. sent8: if the hole-in-the-wall is not macrocephalic it does not board PAYE. sent9: there is something such that if it does not embrown it does not board plumbism. sent10: there exists something such that if the fact that it is not a kind of an exfoliation is correct it is poetic and Bermudan. sent11: the hole-in-the-wall is acanthotic but it does not jet Arauca if it does not board PAYE. sent12: if the hole-in-the-wall is a kind of a Drixoral it is a Buchloe and it is not a listing. sent13: the hole-in-the-wall is not non-acanthotic and does not jet Arauca if that it boards PAYE is correct. sent14: there exists something such that if it does not board PAYE it is not non-acanthotic. sent15: the hole-in-the-wall is acanthotic if it does not board PAYE. sent16: there exists something such that if it is not eugenics then it is a kind of a tailor. sent17: if the hole-in-the-wall is alterable then it does not jet Arauca. sent18: if something does not board velveteen then it is malarial thing that is not acanthotic. ; $proof$ = 
sent11 -> hypothesis; __DISPROVED__