the leech is oracular.
sent1: if something does not overcloud then it is a kind of a Andorran and it is not comfortable. sent2: the five-spot is not a EDS but it is a coleus. sent3: the fact that the five-spot is a kind of a cancan does not hold if it is not a EDS and it is a kind of a coleus. sent4: the leech overclouds if the tannoy is comfortable. sent5: the fact that the tannoy is both a mindfulness and a cancan is false. sent6: the koumiss is both not a Andorran and comfortable if it does overcloud. sent7: if that the leech is rimless is not false it is oracular. sent8: that the leech is rimless if the leech does overcloud is not false. sent9: that the tannoy is oracular is correct. sent10: either the tannoy is comfortable or it is non-Andorran or both. sent11: if something is not a cancan then the fact that it is not a mindfulness and it is not rimless does not hold. sent12: if the tannoy is not a Andorran the leech overclouds.
sent10 & sent4 & sent12 -> int1: the leech overclouds.; int1 & sent8 -> int2: the fact that the leech is rimless hold.; int2 & sent7 -> hypothesis;
the koumiss is comfortable.
sent5 -> int3: there exists something such that that the fact that it is a kind of a mindfulness that is a cancan is not false is not true.;
$hypothesis$ = the leech is oracular. ; $context$ = sent1: if something does not overcloud then it is a kind of a Andorran and it is not comfortable. sent2: the five-spot is not a EDS but it is a coleus. sent3: the fact that the five-spot is a kind of a cancan does not hold if it is not a EDS and it is a kind of a coleus. sent4: the leech overclouds if the tannoy is comfortable. sent5: the fact that the tannoy is both a mindfulness and a cancan is false. sent6: the koumiss is both not a Andorran and comfortable if it does overcloud. sent7: if that the leech is rimless is not false it is oracular. sent8: that the leech is rimless if the leech does overcloud is not false. sent9: that the tannoy is oracular is correct. sent10: either the tannoy is comfortable or it is non-Andorran or both. sent11: if something is not a cancan then the fact that it is not a mindfulness and it is not rimless does not hold. sent12: if the tannoy is not a Andorran the leech overclouds. ; $proof$ = 
sent10 & sent4 & sent12 -> int1: the leech overclouds.; int1 & sent8 -> int2: the fact that the leech is rimless hold.; int2 & sent7 -> hypothesis; __PROVED__