the brokerage is a kind of a Greenville.
sent1: if something is measurable then it is not a kind of a Greenville. sent2: something subdivides Gould. sent3: if something is a kind of a caring it is not usual. sent4: something is not transdermal if it is a Tubman. sent5: the brokerage is not measurable if it is inculpatory. sent6: something duns NUWC and/or is xeric if it does not interpret orphenadrine. sent7: the gainer is measurable. sent8: the brokerage is measurable. sent9: that something is not a Greenville and it is not measurable is false if it does interpret kerchief.
sent1 -> int1: if the brokerage is measurable it is not a kind of a Greenville.; int1 & sent8 -> hypothesis;
the brokerage is a Greenville.
sent9 -> int2: that the jackdaw is not a Greenville and is not measurable is not right if it interprets kerchief.; sent6 -> int3: if the nucleoprotein does not interpret orphenadrine then it duns NUWC and/or is xeric.;
$hypothesis$ = the brokerage is a kind of a Greenville. ; $context$ = sent1: if something is measurable then it is not a kind of a Greenville. sent2: something subdivides Gould. sent3: if something is a kind of a caring it is not usual. sent4: something is not transdermal if it is a Tubman. sent5: the brokerage is not measurable if it is inculpatory. sent6: something duns NUWC and/or is xeric if it does not interpret orphenadrine. sent7: the gainer is measurable. sent8: the brokerage is measurable. sent9: that something is not a Greenville and it is not measurable is false if it does interpret kerchief. ; $proof$ = 
sent1 -> int1: if the brokerage is measurable it is not a kind of a Greenville.; int1 & sent8 -> hypothesis; __DISPROVED__