there exists something such that if either it is not apothegmatic or it braces or both then it is not a roots.
sent1: if the meeting is not congestive then it is not apothegmatic. sent2: there is something such that if it is not lithomantic and/or it is a kind of a chelonian then it is not a beggarman. sent3: the tagger is not a kind of a roots if it is not apothegmatic and/or is a kind of a brace. sent4: if the tagger is not apothegmatic it is not a roots. sent5: there is something such that if it is not apothegmatic then it is not a roots.
sent3 -> hypothesis;
$hypothesis$ = there exists something such that if either it is not apothegmatic or it braces or both then it is not a roots. ; $context$ = sent1: if the meeting is not congestive then it is not apothegmatic. sent2: there is something such that if it is not lithomantic and/or it is a kind of a chelonian then it is not a beggarman. sent3: the tagger is not a kind of a roots if it is not apothegmatic and/or is a kind of a brace. sent4: if the tagger is not apothegmatic it is not a roots. sent5: there is something such that if it is not apothegmatic then it is not a roots. ; $proof$ = 
sent3 -> hypothesis; __PROVED__