the Chaldean is not a calyculus.
sent1: that something revenges airdock hold if it is not a kind of an educator. sent2: The airdock does revenge bucktooth. sent3: the bucktooth does revenge airdock. sent4: the fact that the Cree either does not docket or is an educator or both does not hold. sent5: there is something such that the fact that it is Omani and/or it is a kind of an educator is false. sent6: if the bucktooth is not a kind of an educator then the eye is a kind of a Omani. sent7: there is something such that it is not a Omani and/or is a kind of an educator. sent8: if something does not revenge airdock then that the fact that it either is not a saponification or revenges postposition or both is not wrong is not true. sent9: something is a calyculus if it revenges airdock. sent10: there is something such that it is a Omani. sent11: there exists something such that it is not an educator. sent12: the bucktooth is not an educator if it revenges airdock. sent13: that if the bucktooth is not an educator then that either the eye is not a Omani or it is a kind of an educator or both is not right is true. sent14: if there exists something such that the fact that it either is not a Omani or is an educator or both does not hold then the Chaldean is not a calyculus.
sent12 & sent3 -> int1: the bucktooth is not an educator.; sent13 & int1 -> int2: the fact that the eye is not a Omani and/or is an educator is not right.; int2 -> int3: there exists something such that the fact that it is not a Omani or it is an educator or both does not hold.; int3 & sent14 -> hypothesis;
the Chaldean is a calyculus.
sent9 -> int4: if the Chaldean revenges airdock it is a kind of a calyculus.; sent1 -> int5: if the Chaldean is not an educator then it does revenge airdock.;
$hypothesis$ = the Chaldean is not a calyculus. ; $context$ = sent1: that something revenges airdock hold if it is not a kind of an educator. sent2: The airdock does revenge bucktooth. sent3: the bucktooth does revenge airdock. sent4: the fact that the Cree either does not docket or is an educator or both does not hold. sent5: there is something such that the fact that it is Omani and/or it is a kind of an educator is false. sent6: if the bucktooth is not a kind of an educator then the eye is a kind of a Omani. sent7: there is something such that it is not a Omani and/or is a kind of an educator. sent8: if something does not revenge airdock then that the fact that it either is not a saponification or revenges postposition or both is not wrong is not true. sent9: something is a calyculus if it revenges airdock. sent10: there is something such that it is a Omani. sent11: there exists something such that it is not an educator. sent12: the bucktooth is not an educator if it revenges airdock. sent13: that if the bucktooth is not an educator then that either the eye is not a Omani or it is a kind of an educator or both is not right is true. sent14: if there exists something such that the fact that it either is not a Omani or is an educator or both does not hold then the Chaldean is not a calyculus. ; $proof$ = 
sent12 & sent3 -> int1: the bucktooth is not an educator.; sent13 & int1 -> int2: the fact that the eye is not a Omani and/or is an educator is not right.; int2 -> int3: there exists something such that the fact that it is not a Omani or it is an educator or both does not hold.; int3 & sent14 -> hypothesis; __PROVED__