there exists something such that if it averages Gretzky it is not a ALIR.
sent1: if the speeder is a ALIR it is not an honesty. sent2: that if the speeder does average Gretzky then the speeder is a kind of a ALIR is not false. sent3: there exists something such that if it is a vouge it is not a dislike. sent4: there exists something such that if it is electrophoretic then it is not imponderable. sent5: that the marmalade is not a ALIR is not false if it does average casque. sent6: the speeder is not a ALIR if it does average Gretzky. sent7: there is something such that if the fact that it is a kind of a commensal is not false then it is not a kind of a crinoid. sent8: if something does inflate fallibility it does not average Gretzky. sent9: there is something such that if it averages Gretzky it is a ALIR. sent10: that the cords is not little is true if it is a kind of a ALIR. sent11: there is something such that if it is a kind of a Mexican then it does not pare.
sent6 -> hypothesis;
if the tulle inflates fallibility then it does not average Gretzky.
sent8 -> hypothesis;
$hypothesis$ = there exists something such that if it averages Gretzky it is not a ALIR. ; $context$ = sent1: if the speeder is a ALIR it is not an honesty. sent2: that if the speeder does average Gretzky then the speeder is a kind of a ALIR is not false. sent3: there exists something such that if it is a vouge it is not a dislike. sent4: there exists something such that if it is electrophoretic then it is not imponderable. sent5: that the marmalade is not a ALIR is not false if it does average casque. sent6: the speeder is not a ALIR if it does average Gretzky. sent7: there is something such that if the fact that it is a kind of a commensal is not false then it is not a kind of a crinoid. sent8: if something does inflate fallibility it does not average Gretzky. sent9: there is something such that if it averages Gretzky it is a ALIR. sent10: that the cords is not little is true if it is a kind of a ALIR. sent11: there is something such that if it is a kind of a Mexican then it does not pare. ; $proof$ = 
sent6 -> hypothesis; __PROVED__