the greybeard is institutional.
sent1: the greybeard is a kind of a apophatism if there is something such that it is a Meir. sent2: there is something such that it is a Meir. sent3: something is not institutional if the fact that it is a Meir and is a apophatism does not hold. sent4: the greybeard is a apophatism and institutional if there exists something such that it is a Meir. sent5: the greybeard is a apophatism. sent6: something is mental. sent7: the greybeard is a kind of unairworthy a apophatism.
sent2 & sent4 -> int1: the greybeard is a apophatism and it is institutional.; int1 -> hypothesis;
the greybeard is not institutional.
sent3 -> int2: that the greybeard is not institutional if the fact that the greybeard is a kind of a Meir and is a kind of a apophatism is not right hold.;
$hypothesis$ = the greybeard is institutional. ; $context$ = sent1: the greybeard is a kind of a apophatism if there is something such that it is a Meir. sent2: there is something such that it is a Meir. sent3: something is not institutional if the fact that it is a Meir and is a apophatism does not hold. sent4: the greybeard is a apophatism and institutional if there exists something such that it is a Meir. sent5: the greybeard is a apophatism. sent6: something is mental. sent7: the greybeard is a kind of unairworthy a apophatism. ; $proof$ = 
sent2 & sent4 -> int1: the greybeard is a apophatism and it is institutional.; int1 -> hypothesis; __PROVED__