that there exists something such that if it is not a brucine and it does inhale Philippian it does condemn reintroduction hold.
sent1: that the spindleberry condemns reintroduction is true if it is not a brucine and it does inhale Philippian. sent2: there exists something such that if it is a kind of a brucine and it inhales Philippian then it condemns reintroduction.
sent1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is not a brucine and it does inhale Philippian it does condemn reintroduction hold. ; $context$ = sent1: that the spindleberry condemns reintroduction is true if it is not a brucine and it does inhale Philippian. sent2: there exists something such that if it is a kind of a brucine and it inhales Philippian then it condemns reintroduction. ; $proof$ = 
sent1 -> hypothesis; __PROVED__