that the Damascene does not clothe hold.
sent1: if the roll-on is not a kohlrabi then that the fact that the ultracentrifugation does not clothe and is not an undercut hold is false. sent2: the Damascene does not clothe if there is something such that it is an undercut. sent3: the fact that the challis is a kind of an undercut is correct.
sent3 -> int1: there exists something such that the fact that it undercuts hold.; int1 & sent2 -> hypothesis;
the Damascene does clothe.
$hypothesis$ = that the Damascene does not clothe hold. ; $context$ = sent1: if the roll-on is not a kohlrabi then that the fact that the ultracentrifugation does not clothe and is not an undercut hold is false. sent2: the Damascene does not clothe if there is something such that it is an undercut. sent3: the fact that the challis is a kind of an undercut is correct. ; $proof$ = 
sent3 -> int1: there exists something such that the fact that it undercuts hold.; int1 & sent2 -> hypothesis; __PROVED__