the ash-pan confederates.
sent1: if the cliff debars gummed the ash-pan is a kind of a confederate. sent2: the leper does not debar ash-pan. sent3: if the leper does not debar ash-pan that that the cliff is not a Liechtensteiner but it desecrates cliff hold is not correct. sent4: The ash-pan does not debar leper.
sent3 & sent2 -> int1: the fact that the cliff is not Liechtensteiner but it does desecrate cliff is not correct.;
$hypothesis$ = the ash-pan confederates. ; $context$ = sent1: if the cliff debars gummed the ash-pan is a kind of a confederate. sent2: the leper does not debar ash-pan. sent3: if the leper does not debar ash-pan that that the cliff is not a Liechtensteiner but it desecrates cliff hold is not correct. sent4: The ash-pan does not debar leper. ; $proof$ = 
sent3 & sent2 -> int1: the fact that the cliff is not Liechtensteiner but it does desecrate cliff is not correct.; __UNKNOWN__