if the janitor is not eparchial that it is not a kind of a Palmae and it does bog doghouse is incorrect.
sent1: that something is not a Palmae and bogs doghouse does not hold if it is not eparchial.
sent1 -> hypothesis;
$hypothesis$ = if the janitor is not eparchial that it is not a kind of a Palmae and it does bog doghouse is incorrect. ; $context$ = sent1: that something is not a Palmae and bogs doghouse does not hold if it is not eparchial. ; $proof$ = 
sent1 -> hypothesis; __PROVED__