the blancmange is translatable and it is a kind of an elegance.
sent1: that the blancmange is a kind of a tagasaste that is not thyroid does not hold. sent2: if the projectionist is an interlock then the blancmange is thyroid. sent3: if the fact that the blancmange is a puerpera and is non-costal is not true it is not geostrategic. sent4: that the cinema does purse exemption but it does not join does not hold. sent5: the Byzantine is an rpm if it is not a tagasaste. sent6: that the blancmange is a puerpera but not costal is not correct. sent7: if the blancmange is costal it is not geostrategic. sent8: if something is not geostrategic then it is an elegance. sent9: the projectionist is a tagasaste or it is an interlock or both. sent10: the pig is not a kind of a puerpera. sent11: something is untranslatable if that it is a tagasaste is not false. sent12: something does traffic projectionist if it is not a reach. sent13: if something is a kind of a thyroid it is translatable. sent14: if the blancmange is a kind of a tagasaste then the projectionist is thyroid. sent15: if the projectionist is a tagasaste that the blancmange is not a kind of a thyroid does not hold. sent16: the projectionist does traffic projectionist. sent17: if the blancmange is a puerpera then the projectionist is thyroid. sent18: the lockup is translatable. sent19: that the blancmange is both a puerpera and costal is not true.
sent9 & sent15 & sent2 -> int1: the blancmange is a thyroid.; sent13 -> int2: if the blancmange is a kind of a thyroid then it is translatable.; int1 & int2 -> int3: the blancmange is translatable.; sent8 -> int4: if the blancmange is not geostrategic then it is an elegance.; sent3 & sent6 -> int5: the blancmange is not geostrategic.; int4 & int5 -> int6: the blancmange is a kind of an elegance.; int3 & int6 -> hypothesis;
the fact that the blancmange is translatable and it is a kind of an elegance is wrong.
sent11 -> int7: if the projectionist is a tagasaste it is not translatable.;
$hypothesis$ = the blancmange is translatable and it is a kind of an elegance. ; $context$ = sent1: that the blancmange is a kind of a tagasaste that is not thyroid does not hold. sent2: if the projectionist is an interlock then the blancmange is thyroid. sent3: if the fact that the blancmange is a puerpera and is non-costal is not true it is not geostrategic. sent4: that the cinema does purse exemption but it does not join does not hold. sent5: the Byzantine is an rpm if it is not a tagasaste. sent6: that the blancmange is a puerpera but not costal is not correct. sent7: if the blancmange is costal it is not geostrategic. sent8: if something is not geostrategic then it is an elegance. sent9: the projectionist is a tagasaste or it is an interlock or both. sent10: the pig is not a kind of a puerpera. sent11: something is untranslatable if that it is a tagasaste is not false. sent12: something does traffic projectionist if it is not a reach. sent13: if something is a kind of a thyroid it is translatable. sent14: if the blancmange is a kind of a tagasaste then the projectionist is thyroid. sent15: if the projectionist is a tagasaste that the blancmange is not a kind of a thyroid does not hold. sent16: the projectionist does traffic projectionist. sent17: if the blancmange is a puerpera then the projectionist is thyroid. sent18: the lockup is translatable. sent19: that the blancmange is both a puerpera and costal is not true. ; $proof$ = 
sent9 & sent15 & sent2 -> int1: the blancmange is a thyroid.; sent13 -> int2: if the blancmange is a kind of a thyroid then it is translatable.; int1 & int2 -> int3: the blancmange is translatable.; sent8 -> int4: if the blancmange is not geostrategic then it is an elegance.; sent3 & sent6 -> int5: the blancmange is not geostrategic.; int4 & int5 -> int6: the blancmange is a kind of an elegance.; int3 & int6 -> hypothesis; __PROVED__