the patriarch is a Rabbi.
sent1: if the grandstander does not hoard entitlement and/or does not hoard findings the patriarch is not a kind of a Rabbi. sent2: the grandstander either does not hoard entitlement or does not hoard findings or both if the phosphatase hoard entitlement. sent3: if something is not lucky the phosphatase hoards entitlement. sent4: there exists something such that it is not lucky. sent5: that the phosphatase hoards findings hold.
sent4 & sent3 -> int1: the fact that the phosphatase does hoard entitlement is true.; sent2 & int1 -> int2: the grandstander does not hoard entitlement and/or it does not hoard findings.; sent1 & int2 -> hypothesis;
$hypothesis$ = the patriarch is a Rabbi. ; $context$ = sent1: if the grandstander does not hoard entitlement and/or does not hoard findings the patriarch is not a kind of a Rabbi. sent2: the grandstander either does not hoard entitlement or does not hoard findings or both if the phosphatase hoard entitlement. sent3: if something is not lucky the phosphatase hoards entitlement. sent4: there exists something such that it is not lucky. sent5: that the phosphatase hoards findings hold. ; $proof$ = 
sent4 & sent3 -> int1: the fact that the phosphatase does hoard entitlement is true.; sent2 & int1 -> int2: the grandstander does not hoard entitlement and/or it does not hoard findings.; sent1 & int2 -> hypothesis; __DISPROVED__