the heteroploid is a wax-chandler.
sent1: the heteroploid is a wax-chandler if the privateer is a kind of a rain. sent2: if the collimator does blacklist sailing then the fact that the anthropoid is quadrupedal is correct. sent3: the anthropoid is quadrupedal if the collimator staves bandsman. sent4: that something is a Lancashire hold. sent5: the privateer is quadrupedal if that the anthropoid is not a rain does not hold. sent6: if the anthropoid is quadrupedal the privateer does rain. sent7: something is not a wax-chandler if that it staves bandsman and is not a kind of a Lancashire does not hold. sent8: there exists something such that it is not a Lancashire. sent9: if something is not a kind of a Lancashire the collimator does stave bandsman and/or it blacklists sailing.
sent8 & sent9 -> int1: either the collimator staves bandsman or it does blacklist sailing or both.; int1 & sent3 & sent2 -> int2: the anthropoid is quadrupedal.; sent6 & int2 -> int3: the privateer does rain.; sent1 & int3 -> hypothesis;
the heteroploid is not a kind of a wax-chandler.
sent7 -> int4: the fact that the heteroploid is not the wax-chandler if the fact that the heteroploid does stave bandsman but it is not a Lancashire does not hold is true.;
$hypothesis$ = the heteroploid is a wax-chandler. ; $context$ = sent1: the heteroploid is a wax-chandler if the privateer is a kind of a rain. sent2: if the collimator does blacklist sailing then the fact that the anthropoid is quadrupedal is correct. sent3: the anthropoid is quadrupedal if the collimator staves bandsman. sent4: that something is a Lancashire hold. sent5: the privateer is quadrupedal if that the anthropoid is not a rain does not hold. sent6: if the anthropoid is quadrupedal the privateer does rain. sent7: something is not a wax-chandler if that it staves bandsman and is not a kind of a Lancashire does not hold. sent8: there exists something such that it is not a Lancashire. sent9: if something is not a kind of a Lancashire the collimator does stave bandsman and/or it blacklists sailing. ; $proof$ = 
sent8 & sent9 -> int1: either the collimator staves bandsman or it does blacklist sailing or both.; int1 & sent3 & sent2 -> int2: the anthropoid is quadrupedal.; sent6 & int2 -> int3: the privateer does rain.; sent1 & int3 -> hypothesis; __PROVED__