the longbow is not a Eptesicus and it is not a Cornell.
sent1: the longbow is not a kind of a Cornell if it is active. sent2: something is not a Eptesicus and it is not a Cornell if it is not inactive. sent3: the longbow does not pair Tajik and it does not supple annuity. sent4: the haw is not a secretariat. sent5: the fact that the gueridon is not varicelliform and it does not supple annuity is not correct. sent6: the gueridon is a communalism and/or it swims ellipse. sent7: something is a minuet if it does swim ellipse. sent8: the fact that if the longbow is a kind of a greaves or is a kind of a minuet or both then the fact that the gueridon is not varicelliform is not wrong is right. sent9: if the longbow supples annuity then it is a kind of a Cornell. sent10: The annuity does not supple gueridon. sent11: the longbow is not inactive if it is not a secretariat. sent12: the muffle is not varicelliform. sent13: the gueridon does not supple annuity.
void -> assump1: Let's assume that the longbow is a kind of a secretariat.; sent7 -> int1: if the longbow swims ellipse then it is a minuet.; sent2 -> int2: the longbow is not a Eptesicus and it is not a kind of a Cornell if it is not inactive.;
the fact that the longbow is not a Eptesicus and not a Cornell is wrong.
sent4 -> int3: there is something such that it is not a kind of a secretariat.;
$hypothesis$ = the longbow is not a Eptesicus and it is not a Cornell. ; $context$ = sent1: the longbow is not a kind of a Cornell if it is active. sent2: something is not a Eptesicus and it is not a Cornell if it is not inactive. sent3: the longbow does not pair Tajik and it does not supple annuity. sent4: the haw is not a secretariat. sent5: the fact that the gueridon is not varicelliform and it does not supple annuity is not correct. sent6: the gueridon is a communalism and/or it swims ellipse. sent7: something is a minuet if it does swim ellipse. sent8: the fact that if the longbow is a kind of a greaves or is a kind of a minuet or both then the fact that the gueridon is not varicelliform is not wrong is right. sent9: if the longbow supples annuity then it is a kind of a Cornell. sent10: The annuity does not supple gueridon. sent11: the longbow is not inactive if it is not a secretariat. sent12: the muffle is not varicelliform. sent13: the gueridon does not supple annuity. ; $proof$ = 
void -> assump1: Let's assume that the longbow is a kind of a secretariat.; sent7 -> int1: if the longbow swims ellipse then it is a minuet.; sent2 -> int2: the longbow is not a Eptesicus and it is not a kind of a Cornell if it is not inactive.; __UNKNOWN__