there exists something such that if the fact that it is a kind of a shoeshine and it is not a Baum is not right it does detick mouth.
sent1: the mouth does detick mouth if that it is a shoeshine and it is not a Baum does not hold. sent2: there exists something such that if it is a kind of a Baum it deticks mouth.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is a kind of a shoeshine and it is not a Baum is not right it does detick mouth. ; $context$ = sent1: the mouth does detick mouth if that it is a shoeshine and it is not a Baum does not hold. sent2: there exists something such that if it is a kind of a Baum it deticks mouth. ; $proof$ = 
sent1 -> hypothesis; __PROVED__