there is something such that it is not a metalhead.
sent1: if something is a kind of a glide and/or it is a metalhead then the knuckle is not a Rocroi. sent2: something does tabulate Hynerpeton. sent3: there exists something such that either it does embattle or it is a Bosporus or both. sent4: there is something such that it is ataxic or is a ISI or both. sent5: the sprocket is not a crinoline if there is something such that it is cucurbitaceous. sent6: the sprocket does not invest fistula. sent7: if there exists something such that it is either a Rocroi or a glide or both the knuckle is not a kind of a metalhead. sent8: the militant is not a glide.
$hypothesis$ = there is something such that it is not a metalhead. ; $context$ = sent1: if something is a kind of a glide and/or it is a metalhead then the knuckle is not a Rocroi. sent2: something does tabulate Hynerpeton. sent3: there exists something such that either it does embattle or it is a Bosporus or both. sent4: there is something such that it is ataxic or is a ISI or both. sent5: the sprocket is not a crinoline if there is something such that it is cucurbitaceous. sent6: the sprocket does not invest fistula. sent7: if there exists something such that it is either a Rocroi or a glide or both the knuckle is not a kind of a metalhead. sent8: the militant is not a glide. ; $proof$ = 
__UNKNOWN__