there exists something such that if it is unitary or does not company schlock or both then that it is not a grandee is not wrong.
sent1: there is something such that if it is unitary or it does company schlock or both it is not a grandee. sent2: if something is unitary and/or companies schlock then it is not a grandee. sent3: there is something such that if it is not non-unitary and/or it does not company schlock then it is a grandee. sent4: if something is a Woolf then it is not plantal. sent5: the buckbean is not a grandee if it is unitary.
$hypothesis$ = there exists something such that if it is unitary or does not company schlock or both then that it is not a grandee is not wrong. ; $context$ = sent1: there is something such that if it is unitary or it does company schlock or both it is not a grandee. sent2: if something is unitary and/or companies schlock then it is not a grandee. sent3: there is something such that if it is not non-unitary and/or it does not company schlock then it is a grandee. sent4: if something is a Woolf then it is not plantal. sent5: the buckbean is not a grandee if it is unitary. ; $proof$ = 
__UNKNOWN__