there exists something such that if it is trigonometric and it is not apothegmatic then it is lenten.
sent1: there is something such that if it is a kind of a Ficus and is a marbleization it stunts autism. sent2: if the distillery is both trigonometric and not apothegmatic it is lenten. sent3: there exists something such that if it dallies and it is seamanlike then it is a horsepond.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if it is trigonometric and it is not apothegmatic then it is lenten. ; $context$ = sent1: there is something such that if it is a kind of a Ficus and is a marbleization it stunts autism. sent2: if the distillery is both trigonometric and not apothegmatic it is lenten. sent3: there exists something such that if it dallies and it is seamanlike then it is a horsepond. ; $proof$ = 
sent2 -> hypothesis; __PROVED__