the midstream is unangry.
sent1: the wheatflake is unangry. sent2: if something is a flanker and not a eurypterid then it is unangry. sent3: there exists something such that it is not pectic. sent4: if that something does not gladden details but it is pectic does not hold then it is not unangry. sent5: something is unangry if it is not a flanker and not a eurypterid. sent6: the midstream is not a grate and it is not inexpedient if something is not a flanker.
sent5 -> int1: if the midstream is not a flanker and not a eurypterid it is unangry.;
the midstream is not unangry.
sent4 -> int2: if that the midstream does not gladden details and is pectic is false it is not unangry.;
$hypothesis$ = the midstream is unangry. ; $context$ = sent1: the wheatflake is unangry. sent2: if something is a flanker and not a eurypterid then it is unangry. sent3: there exists something such that it is not pectic. sent4: if that something does not gladden details but it is pectic does not hold then it is not unangry. sent5: something is unangry if it is not a flanker and not a eurypterid. sent6: the midstream is not a grate and it is not inexpedient if something is not a flanker. ; $proof$ = 
sent5 -> int1: if the midstream is not a flanker and not a eurypterid it is unangry.; __UNKNOWN__