there is something such that if it is not a gloriosa and it is patriarchal then it does communicate.
sent1: if the walk-in is not a gloriosa but patriarchal then it communicates. sent2: there is something such that if it is a gloriosa and it is patriarchal then it communicates. sent3: the walk-in communicates if it is a kind of a gloriosa and is patriarchal. sent4: if the walk-in hefts Hohenlinden and is a kind of a analogist it is a gloriosa. sent5: if something that does not communicate is a kind of a universal then it is a reagent.
sent1 -> hypothesis;
the tristearin is a kind of a reagent if it does not communicate and is a universal.
sent5 -> hypothesis;
$hypothesis$ = there is something such that if it is not a gloriosa and it is patriarchal then it does communicate. ; $context$ = sent1: if the walk-in is not a gloriosa but patriarchal then it communicates. sent2: there is something such that if it is a gloriosa and it is patriarchal then it communicates. sent3: the walk-in communicates if it is a kind of a gloriosa and is patriarchal. sent4: if the walk-in hefts Hohenlinden and is a kind of a analogist it is a gloriosa. sent5: if something that does not communicate is a kind of a universal then it is a reagent. ; $proof$ = 
sent1 -> hypothesis; __PROVED__