that the bunter does slack hold.
sent1: if the horticulturist does blacklist ejector and it is a kind of a singer the bunter is not a slacks. sent2: that the horticulturist is prejudicial hold. sent3: something is not a Saharan. sent4: something does not blacklist Cabell. sent5: if the horticulturist is prejudicial it blacklists ejector. sent6: there exists something such that it blacklists Cabell. sent7: the ejector is unpleasant and it blacklists Cabell. sent8: if something does not blacklist Cabell the horticulturist is a singer.
sent5 & sent2 -> int1: the horticulturist does blacklist ejector.; sent4 & sent8 -> int2: the horticulturist is a kind of a singer.; int1 & int2 -> int3: the horticulturist does blacklist ejector and it is a singer.; int3 & sent1 -> hypothesis;
the bunter is a slacks.
$hypothesis$ = that the bunter does slack hold. ; $context$ = sent1: if the horticulturist does blacklist ejector and it is a kind of a singer the bunter is not a slacks. sent2: that the horticulturist is prejudicial hold. sent3: something is not a Saharan. sent4: something does not blacklist Cabell. sent5: if the horticulturist is prejudicial it blacklists ejector. sent6: there exists something such that it blacklists Cabell. sent7: the ejector is unpleasant and it blacklists Cabell. sent8: if something does not blacklist Cabell the horticulturist is a singer. ; $proof$ = 
sent5 & sent2 -> int1: the horticulturist does blacklist ejector.; sent4 & sent8 -> int2: the horticulturist is a kind of a singer.; int1 & int2 -> int3: the horticulturist does blacklist ejector and it is a singer.; int3 & sent1 -> hypothesis; __DISPROVED__