there exists something such that if it is associational then it is not a kind of a aneurysm and is not a crown-of-the-field.
sent1: something is not ballistic and it is not hydrostatic if it mellows. sent2: something is both not a aneurysm and not a crown-of-the-field if it is associational. sent3: there exists something such that if it is a kind of a reseda then it does not outstare applicator and does not surmise lithomancer. sent4: there is something such that if it is not non-associational then the fact that it is not a kind of a aneurysm is not incorrect. sent5: the Corchorus is not a kind of a aneurysm if it is associational. sent6: there exists something such that if that it is associational hold that it is a kind of a aneurysm and is not a crown-of-the-field is not wrong.
sent2 -> int1: if the Corchorus is associational then it is not a kind of a aneurysm and is not a crown-of-the-field.; int1 -> hypothesis;
there exists something such that if it does mellow then it is both not ballistic and not hydrostatic.
sent1 -> int2: if the applicator mellows then it is not ballistic and not hydrostatic.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if it is associational then it is not a kind of a aneurysm and is not a crown-of-the-field. ; $context$ = sent1: something is not ballistic and it is not hydrostatic if it mellows. sent2: something is both not a aneurysm and not a crown-of-the-field if it is associational. sent3: there exists something such that if it is a kind of a reseda then it does not outstare applicator and does not surmise lithomancer. sent4: there is something such that if it is not non-associational then the fact that it is not a kind of a aneurysm is not incorrect. sent5: the Corchorus is not a kind of a aneurysm if it is associational. sent6: there exists something such that if that it is associational hold that it is a kind of a aneurysm and is not a crown-of-the-field is not wrong. ; $proof$ = 
sent2 -> int1: if the Corchorus is associational then it is not a kind of a aneurysm and is not a crown-of-the-field.; int1 -> hypothesis; __PROVED__