that there is something such that if that it is sexy is right it is a kind of an utterance does not hold.
sent1: the aerophile is a frontal if it is a kind of an utterance. sent2: if something is onomastics it is a Ball. sent3: if the aerophile is existential then it is a Gnostic. sent4: there is something such that if it is a dart it is a Vireonidae. sent5: the aerophile is a kind of an utterance if it is sexy. sent6: there exists something such that if it is a kind of a seasonal then it is a kind of a one-twelfth. sent7: there exists something such that if it is arborical then it is semantic. sent8: there is something such that if it is cross-sectional it is a craniometer. sent9: there exists something such that if it is a kind of a imprecation then it is a matriculation. sent10: if the aerophile is sexy it is a nonconformist. sent11: if the sweat is an utterance then it is not non-Arthurian. sent12: if something is chronic then it is a proof. sent13: there is something such that if it is semantic it does remainder basic. sent14: if the hindquarters does stifle Fischer it is an utterance.
sent5 -> hypothesis;
if the force is chronic it is a proof.
sent12 -> hypothesis;
$hypothesis$ = that there is something such that if that it is sexy is right it is a kind of an utterance does not hold. ; $context$ = sent1: the aerophile is a frontal if it is a kind of an utterance. sent2: if something is onomastics it is a Ball. sent3: if the aerophile is existential then it is a Gnostic. sent4: there is something such that if it is a dart it is a Vireonidae. sent5: the aerophile is a kind of an utterance if it is sexy. sent6: there exists something such that if it is a kind of a seasonal then it is a kind of a one-twelfth. sent7: there exists something such that if it is arborical then it is semantic. sent8: there is something such that if it is cross-sectional it is a craniometer. sent9: there exists something such that if it is a kind of a imprecation then it is a matriculation. sent10: if the aerophile is sexy it is a nonconformist. sent11: if the sweat is an utterance then it is not non-Arthurian. sent12: if something is chronic then it is a proof. sent13: there is something such that if it is semantic it does remainder basic. sent14: if the hindquarters does stifle Fischer it is an utterance. ; $proof$ = 
sent5 -> hypothesis; __DISPROVED__