the Fabian is a kind of a Zama.
sent1: the Cantabrigian is not a Bucephala. sent2: there is something such that it does loot octopus. sent3: that the Cantabrigian is not a sandwichman hold if it is not a Bucephala. sent4: something is a sandwichman that is a Zama if it is not a kind of a pole. sent5: if there is something such that it loots octopus then the Fabian is a teardrop that does not cast quarryman. sent6: the quarryman does not pole if the theca is a kind of a pole and/or it is a kind of a teardrop. sent7: if the Cantabrigian is not a sandwichman then the Fabian is a kind of a Zealander. sent8: something is a Zama if it is a Zealander. sent9: the fact that the Cantabrigian is not a kind of a sandwichman and it is not a kind of a Bucephala does not hold if the guppy is a Zealander. sent10: either the man-on-a-horse is a kind of a Zealander or it does not cast quarryman or both if the quarryman is not a pole. sent11: the calculator is a Zealander if the fact that the Cantabrigian is not a Bucephala and it is not a Zealander is not wrong.
sent3 & sent1 -> int1: the Cantabrigian is not a sandwichman.; int1 & sent7 -> int2: the Fabian is a Zealander.; sent8 -> int3: if that the Fabian is a kind of a Zealander hold then it is a Zama.; int2 & int3 -> hypothesis;
the calculator is a Zealander.
sent4 -> int4: the Cantabrigian is a kind of a sandwichman and is a Zama if it does not pole.; sent2 & sent5 -> int5: the Fabian is a teardrop that does not cast quarryman.; int5 -> int6: there is something such that it is a kind of a teardrop and does not cast quarryman.;
$hypothesis$ = the Fabian is a kind of a Zama. ; $context$ = sent1: the Cantabrigian is not a Bucephala. sent2: there is something such that it does loot octopus. sent3: that the Cantabrigian is not a sandwichman hold if it is not a Bucephala. sent4: something is a sandwichman that is a Zama if it is not a kind of a pole. sent5: if there is something such that it loots octopus then the Fabian is a teardrop that does not cast quarryman. sent6: the quarryman does not pole if the theca is a kind of a pole and/or it is a kind of a teardrop. sent7: if the Cantabrigian is not a sandwichman then the Fabian is a kind of a Zealander. sent8: something is a Zama if it is a Zealander. sent9: the fact that the Cantabrigian is not a kind of a sandwichman and it is not a kind of a Bucephala does not hold if the guppy is a Zealander. sent10: either the man-on-a-horse is a kind of a Zealander or it does not cast quarryman or both if the quarryman is not a pole. sent11: the calculator is a Zealander if the fact that the Cantabrigian is not a Bucephala and it is not a Zealander is not wrong. ; $proof$ = 
sent3 & sent1 -> int1: the Cantabrigian is not a sandwichman.; int1 & sent7 -> int2: the Fabian is a Zealander.; sent8 -> int3: if that the Fabian is a kind of a Zealander hold then it is a Zama.; int2 & int3 -> hypothesis; __PROVED__