there exists something such that if it does not despair primitivism and it is a hare then it is agranulocytic.
sent1: the pearler is agranulocytic if it does not despair primitivism and it hares. sent2: if the pearler is not a arcella and is a kind of a humin then it arranges. sent3: there is something such that if it does not unspell inulin and does despair trash then it is a kind of a Volvox. sent4: if something is not a bloc but it does transact then it is agranulocytic. sent5: there is something such that if it does not unspell shepherd and it is not non-odd then it is patristics. sent6: there is something such that if it is a Gray that is a coif then it is a cosmopolitan.
sent1 -> hypothesis;
the pearler is agranulocytic if it is not a bloc and it does transact.
sent4 -> hypothesis;
$hypothesis$ = there exists something such that if it does not despair primitivism and it is a hare then it is agranulocytic. ; $context$ = sent1: the pearler is agranulocytic if it does not despair primitivism and it hares. sent2: if the pearler is not a arcella and is a kind of a humin then it arranges. sent3: there is something such that if it does not unspell inulin and does despair trash then it is a kind of a Volvox. sent4: if something is not a bloc but it does transact then it is agranulocytic. sent5: there is something such that if it does not unspell shepherd and it is not non-odd then it is patristics. sent6: there is something such that if it is a Gray that is a coif then it is a cosmopolitan. ; $proof$ = 
sent1 -> hypothesis; __PROVED__