the bloodstream is not a kind of a technical.
sent1: the bloodstream does letter fedayeen. sent2: if the blowing letters fedayeen the bloodstream is a technical. sent3: the blowing does wobble slipping if it is triclinic. sent4: the hippoboscid is not a singles and is Caesarian. sent5: the blowing does letter fedayeen and it does wobble slipping. sent6: the bloodstream is a Pittsburgh. sent7: the fact that the blowing wobbles slipping hold. sent8: the bloodstream is a lisinopril that does letter fedayeen.
sent5 -> int1: the blowing letters fedayeen.; sent2 & int1 -> hypothesis;
the bloodstream is not technical.
sent4 -> int2: something is not singles but it is Caesarian.;
$hypothesis$ = the bloodstream is not a kind of a technical. ; $context$ = sent1: the bloodstream does letter fedayeen. sent2: if the blowing letters fedayeen the bloodstream is a technical. sent3: the blowing does wobble slipping if it is triclinic. sent4: the hippoboscid is not a singles and is Caesarian. sent5: the blowing does letter fedayeen and it does wobble slipping. sent6: the bloodstream is a Pittsburgh. sent7: the fact that the blowing wobbles slipping hold. sent8: the bloodstream is a lisinopril that does letter fedayeen. ; $proof$ = 
sent5 -> int1: the blowing letters fedayeen.; sent2 & int1 -> hypothesis; __DISPROVED__