the Englishwoman is not a bobbin.
sent1: if something is a hem then that it is a Murrow is not incorrect. sent2: the Englishwoman is Ionic. sent3: if the gendarme is not a bobbin but it does retrofit then the cultivar is not a bobbin. sent4: if the fact that something is not neurological but it is agrologic is incorrect then it is a kind of a bobbin. sent5: the fact that something is not a Michael and is packable is incorrect if it is off-street. sent6: the fact that something is non-neurological thing that is agrologic is wrong if it does occupy. sent7: something does not occupy and is not a bobbin if it does vacate. sent8: the fact that the Englishwoman does occupy hold.
sent6 -> int1: that the Englishwoman is both not neurological and agrologic does not hold if that it does occupy is true.; int1 & sent8 -> int2: that the Englishwoman is not neurological and is agrologic does not hold.; sent4 -> int3: if that the Englishwoman is not neurological and is agrologic is not correct it is a bobbin.; int2 & int3 -> hypothesis;
the Englishwoman is not a bobbin.
sent7 -> int4: the Englishwoman does not occupy and it is not a kind of a bobbin if the fact that it does vacate is not wrong.;
$hypothesis$ = the Englishwoman is not a bobbin. ; $context$ = sent1: if something is a hem then that it is a Murrow is not incorrect. sent2: the Englishwoman is Ionic. sent3: if the gendarme is not a bobbin but it does retrofit then the cultivar is not a bobbin. sent4: if the fact that something is not neurological but it is agrologic is incorrect then it is a kind of a bobbin. sent5: the fact that something is not a Michael and is packable is incorrect if it is off-street. sent6: the fact that something is non-neurological thing that is agrologic is wrong if it does occupy. sent7: something does not occupy and is not a bobbin if it does vacate. sent8: the fact that the Englishwoman does occupy hold. ; $proof$ = 
sent6 -> int1: that the Englishwoman is both not neurological and agrologic does not hold if that it does occupy is true.; int1 & sent8 -> int2: that the Englishwoman is not neurological and is agrologic does not hold.; sent4 -> int3: if that the Englishwoman is not neurological and is agrologic is not correct it is a bobbin.; int2 & int3 -> hypothesis; __DISPROVED__