the caruncle is anal.
sent1: if that something perorates hold it is anal. sent2: there is something such that it is not a half. sent3: the caruncle is not a pillwort if something that perorates is not half. sent4: the reach is not a kind of a windward if something is both a pillwort and not a half. sent5: if there is something such that it is a kind of a pillwort and it is a kind of a half then the reach is not a windward. sent6: the synthesist is not a kind of a half. sent7: if there is something such that the fact that it does not measure Pyle and/or it does not average horsewhip is false that the caruncle is not a windward is correct. sent8: the synthesist is both a pillwort and not a half. sent9: the caruncle does perorate if the reach is not windward.
sent8 -> int1: there is something such that it is a kind of a pillwort and it is not a kind of a half.; int1 & sent4 -> int2: the reach is not windward.; int2 & sent9 -> int3: the caruncle does perorate.; sent1 -> int4: if the caruncle does perorate it is anal.; int3 & int4 -> hypothesis;
the Lens is anal.
$hypothesis$ = the caruncle is anal. ; $context$ = sent1: if that something perorates hold it is anal. sent2: there is something such that it is not a half. sent3: the caruncle is not a pillwort if something that perorates is not half. sent4: the reach is not a kind of a windward if something is both a pillwort and not a half. sent5: if there is something such that it is a kind of a pillwort and it is a kind of a half then the reach is not a windward. sent6: the synthesist is not a kind of a half. sent7: if there is something such that the fact that it does not measure Pyle and/or it does not average horsewhip is false that the caruncle is not a windward is correct. sent8: the synthesist is both a pillwort and not a half. sent9: the caruncle does perorate if the reach is not windward. ; $proof$ = 
sent8 -> int1: there is something such that it is a kind of a pillwort and it is not a kind of a half.; int1 & sent4 -> int2: the reach is not windward.; int2 & sent9 -> int3: the caruncle does perorate.; sent1 -> int4: if the caruncle does perorate it is anal.; int3 & int4 -> hypothesis; __PROVED__