there exists something such that if it is not a kind of a codlins-and-cream then it is a Fula.
sent1: if the baldpate is a codlins-and-cream then that it is a Fula is right. sent2: if the flooring is eyeless then it is anaphylactic. sent3: there is something such that if the fact that it does not condemn storm hold it is antiquarian. sent4: the baldpate inhales SGML if it is not a puberty. sent5: there exists something such that if it is not a transition that it is a kind of a refractivity is correct. sent6: the baldpate condemns lunchroom if it does not gild Dugongidae. sent7: there exists something such that if it is not unobtrusive then that it is an infiltrator is not incorrect. sent8: there is something such that if it is a kind of a codlins-and-cream it is a Fula. sent9: the baldpate is nonadhesive if it is not uninfluential. sent10: the rushlight does refer if it does not gild handwheel. sent11: there exists something such that if it is a conflagration then it is nonadhesive. sent12: the baldpate is a codlins-and-cream if it does not inhale SGML. sent13: there is something such that if it does not stab Dinesen then it is a landscape. sent14: if something is not a codlins-and-cream it does satisfice. sent15: if the baldpate is not a kind of a codlins-and-cream that it is a Fula is right. sent16: if the fact that the baldpate is not a Fula is not incorrect it is starry.
sent15 -> hypothesis;
the fact that the incandescence does satisfice hold if it is not a codlins-and-cream.
sent14 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a kind of a codlins-and-cream then it is a Fula. ; $context$ = sent1: if the baldpate is a codlins-and-cream then that it is a Fula is right. sent2: if the flooring is eyeless then it is anaphylactic. sent3: there is something such that if the fact that it does not condemn storm hold it is antiquarian. sent4: the baldpate inhales SGML if it is not a puberty. sent5: there exists something such that if it is not a transition that it is a kind of a refractivity is correct. sent6: the baldpate condemns lunchroom if it does not gild Dugongidae. sent7: there exists something such that if it is not unobtrusive then that it is an infiltrator is not incorrect. sent8: there is something such that if it is a kind of a codlins-and-cream it is a Fula. sent9: the baldpate is nonadhesive if it is not uninfluential. sent10: the rushlight does refer if it does not gild handwheel. sent11: there exists something such that if it is a conflagration then it is nonadhesive. sent12: the baldpate is a codlins-and-cream if it does not inhale SGML. sent13: there is something such that if it does not stab Dinesen then it is a landscape. sent14: if something is not a codlins-and-cream it does satisfice. sent15: if the baldpate is not a kind of a codlins-and-cream that it is a Fula is right. sent16: if the fact that the baldpate is not a Fula is not incorrect it is starry. ; $proof$ = 
sent15 -> hypothesis; __PROVED__