the brewpub does brooch Kenyan.
sent1: if something is rehabilitative then the fact that it does not brooch Kenyan does not hold. sent2: there exists something such that the fact that it is untrustworthy hold. sent3: that something does not brooch Kenyan if the fact that it is untrustworthy and it is not rehabilitative is not true is correct. sent4: if there is something such that it is untrustworthy the fact that the brewpub is a kind of non-rehabilitative thing that does not diminish concrete is not correct. sent5: if that something is not rehabilitative and it does not diminish concrete is incorrect then it brooches Kenyan.
sent2 & sent4 -> int1: that the brewpub is non-rehabilitative thing that does not diminish concrete does not hold.; sent5 -> int2: if that the brewpub is non-rehabilitative thing that does not diminish concrete is not correct then it does brooch Kenyan.; int1 & int2 -> hypothesis;
the brewpub does not brooch Kenyan.
sent3 -> int3: if the fact that that the brewpub is both untrustworthy and not rehabilitative is correct is not right it does not brooch Kenyan.;
$hypothesis$ = the brewpub does brooch Kenyan. ; $context$ = sent1: if something is rehabilitative then the fact that it does not brooch Kenyan does not hold. sent2: there exists something such that the fact that it is untrustworthy hold. sent3: that something does not brooch Kenyan if the fact that it is untrustworthy and it is not rehabilitative is not true is correct. sent4: if there is something such that it is untrustworthy the fact that the brewpub is a kind of non-rehabilitative thing that does not diminish concrete is not correct. sent5: if that something is not rehabilitative and it does not diminish concrete is incorrect then it brooches Kenyan. ; $proof$ = 
sent2 & sent4 -> int1: that the brewpub is non-rehabilitative thing that does not diminish concrete does not hold.; sent5 -> int2: if that the brewpub is non-rehabilitative thing that does not diminish concrete is not correct then it does brooch Kenyan.; int1 & int2 -> hypothesis; __PROVED__