the nunnery is a inoculator.
sent1: there is something such that it is a inoculator. sent2: the fact that the gaffer is a kind of an employer and it does hobnob is not true if something does not unspell patriarch. sent3: there is something such that it does not unspell patriarch. sent4: something is a kind of an employer that does not hobnob. sent5: the nunnery is a inoculator if there is something such that it does hobnob. sent6: there exists something such that it unspells gripsack. sent7: if something does not unspell patriarch then that the gaffer is an employer but it does not hobnob does not hold.
sent3 & sent7 -> int1: the fact that the gaffer is a kind of an employer but it does not hobnob does not hold.; int1 -> int2: there exists something such that that it is a kind of an employer that does not hobnob is not right.;
$hypothesis$ = the nunnery is a inoculator. ; $context$ = sent1: there is something such that it is a inoculator. sent2: the fact that the gaffer is a kind of an employer and it does hobnob is not true if something does not unspell patriarch. sent3: there is something such that it does not unspell patriarch. sent4: something is a kind of an employer that does not hobnob. sent5: the nunnery is a inoculator if there is something such that it does hobnob. sent6: there exists something such that it unspells gripsack. sent7: if something does not unspell patriarch then that the gaffer is an employer but it does not hobnob does not hold. ; $proof$ = 
sent3 & sent7 -> int1: the fact that the gaffer is a kind of an employer but it does not hobnob does not hold.; int1 -> int2: there exists something such that that it is a kind of an employer that does not hobnob is not right.; __UNKNOWN__