something is not a billed and/or it is non-Capetian.
sent1: the tetranychid is not vulvar. sent2: the brother-in-law either is a Capetian or is not Aberdonian or both if it does not rafter caffeine. sent3: either the countercurrent is a bovine or it is non-divisional or both. sent4: the countercurrent is not vulvar. sent5: there exists something such that it is not vulvar and/or it is not a Capetian. sent6: if the countercurrent is not a billed then it does not squeegee Gond or is not leaning or both.
$hypothesis$ = something is not a billed and/or it is non-Capetian. ; $context$ = sent1: the tetranychid is not vulvar. sent2: the brother-in-law either is a Capetian or is not Aberdonian or both if it does not rafter caffeine. sent3: either the countercurrent is a bovine or it is non-divisional or both. sent4: the countercurrent is not vulvar. sent5: there exists something such that it is not vulvar and/or it is not a Capetian. sent6: if the countercurrent is not a billed then it does not squeegee Gond or is not leaning or both. ; $proof$ = 
__UNKNOWN__