the tampion forbids and is geostrategic.
sent1: the tampion is illiterate. sent2: if the cell is not geostrategic it does strangulate bough and does forbid. sent3: the course does strangulate bough. sent4: The bough does strangulate course. sent5: if something is a bridle that it is inboard and it is not geostrategic is not right. sent6: if the course does strangulate bough the tampion does strangulate bough. sent7: something that strangulates bough is geostrategic. sent8: the colonel is not a kind of a meanie. sent9: the colonel is a kind of an illiterate but it is not a meanie.
sent9 -> int1: there exists something such that it is an illiterate and it is not a kind of a meanie.; sent7 -> int2: if the fact that the tampion does strangulate bough is not incorrect then it is geostrategic.; sent6 & sent3 -> int3: the tampion does strangulate bough.; int2 & int3 -> int4: the tampion is geostrategic.;
the cell strangulates bough.
sent5 -> int5: the fact that that the tampion is inboard but it is not geostrategic is not false is not correct if it is a bridle.;
$hypothesis$ = the tampion forbids and is geostrategic. ; $context$ = sent1: the tampion is illiterate. sent2: if the cell is not geostrategic it does strangulate bough and does forbid. sent3: the course does strangulate bough. sent4: The bough does strangulate course. sent5: if something is a bridle that it is inboard and it is not geostrategic is not right. sent6: if the course does strangulate bough the tampion does strangulate bough. sent7: something that strangulates bough is geostrategic. sent8: the colonel is not a kind of a meanie. sent9: the colonel is a kind of an illiterate but it is not a meanie. ; $proof$ = 
sent9 -> int1: there exists something such that it is an illiterate and it is not a kind of a meanie.; sent7 -> int2: if the fact that the tampion does strangulate bough is not incorrect then it is geostrategic.; sent6 & sent3 -> int3: the tampion does strangulate bough.; int2 & int3 -> int4: the tampion is geostrategic.; __UNKNOWN__