there is something such that if it does halve Agra then it is not an import.
sent1: the spadix does not import if it does halve Agra. sent2: there is something such that if it does halve Agra it imports. sent3: if something is a plosion it does not halve Agra. sent4: if the spadix is a chelonian it does not halve Agra. sent5: if something is a kind of a Agamidae then it is not neoclassicist. sent6: there exists something such that if it is a patrimony the fact that it is nonadsorbent is not false. sent7: that the spadix does import if the spadix halves Agra is not incorrect.
sent1 -> hypothesis;
there exists something such that if it is a kind of a Agamidae then it is not a neoclassicist.
sent5 -> int1: the memorizer is not a neoclassicist if it is a Agamidae.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does halve Agra then it is not an import. ; $context$ = sent1: the spadix does not import if it does halve Agra. sent2: there is something such that if it does halve Agra it imports. sent3: if something is a plosion it does not halve Agra. sent4: if the spadix is a chelonian it does not halve Agra. sent5: if something is a kind of a Agamidae then it is not neoclassicist. sent6: there exists something such that if it is a patrimony the fact that it is nonadsorbent is not false. sent7: that the spadix does import if the spadix halves Agra is not incorrect. ; $proof$ = 
sent1 -> hypothesis; __PROVED__