there is something such that if it is a Menuhin then it is not a kind of a Bhutanese.
sent1: the Dean is not a cassock if it is a Menuhin. sent2: something is a Bhutanese if it is a Menuhin. sent3: the Dean is a kind of a Bhutanese if it is a Menuhin. sent4: there is something such that if it is a kind of a Menuhin it is a Bhutanese. sent5: there is something such that if the fact that it is ctenoid is not false then it is not a Mendelsohn. sent6: the gleaner is not a kind of a Bhutanese if it is nonracial.
$hypothesis$ = there is something such that if it is a Menuhin then it is not a kind of a Bhutanese. ; $context$ = sent1: the Dean is not a cassock if it is a Menuhin. sent2: something is a Bhutanese if it is a Menuhin. sent3: the Dean is a kind of a Bhutanese if it is a Menuhin. sent4: there is something such that if it is a kind of a Menuhin it is a Bhutanese. sent5: there is something such that if the fact that it is ctenoid is not false then it is not a Mendelsohn. sent6: the gleaner is not a kind of a Bhutanese if it is nonracial. ; $proof$ = 
__UNKNOWN__