there exists something such that it is a kind of a Yersin and it is a bolometer.
sent1: that the Whistler is not a Yersin and does not shush tetraskelion is wrong. sent2: the king is not a Yersin if there exists something such that that it is not a kind of a powerhouse and it does not shush tetraskelion is not correct. sent3: something is a bolometer. sent4: the king recurs and it is saponaceous. sent5: there is something such that it is not a powerhouse and it does not shush tetraskelion. sent6: the jalapeno is a kind of a bolometer. sent7: there exists something such that that it is a powerhouse and it does not shush tetraskelion is not true. sent8: if the king is not a Yersin the jalapeno is a kind of a bolometer. sent9: that the Whistler does not shush tetraskelion and is not a Yersin is incorrect. sent10: there exists something such that it is a kind of a Yersin. sent11: there is something such that the fact that it is not scopal and it is not an engine is incorrect. sent12: that the Whistler is not a powerhouse and it does not shush tetraskelion is not correct. sent13: there is something such that that it is not a powerhouse and it does shush tetraskelion is wrong. sent14: the Whistler is a bolometer and it is a powerhouse if the jalapeno is not a bolometer. sent15: if the king is not a Yersin the fact that the jalapeno is a kind of a Yersin and is a kind of a bolometer hold. sent16: the king is not a kind of a Yersin if there is something such that it is a powerhouse. sent17: that the Whistler is a kind of a powerhouse that does not shush tetraskelion does not hold. sent18: that the Whistler is not a Yersin and it is not a powerhouse does not hold.
sent12 -> int1: there exists something such that that it is not a kind of a powerhouse and does not shush tetraskelion does not hold.; int1 & sent2 -> int2: the king is not a Yersin.; int2 & sent15 -> int3: the jalapeno is a Yersin and it is a bolometer.; int3 -> hypothesis;
$hypothesis$ = there exists something such that it is a kind of a Yersin and it is a bolometer. ; $context$ = sent1: that the Whistler is not a Yersin and does not shush tetraskelion is wrong. sent2: the king is not a Yersin if there exists something such that that it is not a kind of a powerhouse and it does not shush tetraskelion is not correct. sent3: something is a bolometer. sent4: the king recurs and it is saponaceous. sent5: there is something such that it is not a powerhouse and it does not shush tetraskelion. sent6: the jalapeno is a kind of a bolometer. sent7: there exists something such that that it is a powerhouse and it does not shush tetraskelion is not true. sent8: if the king is not a Yersin the jalapeno is a kind of a bolometer. sent9: that the Whistler does not shush tetraskelion and is not a Yersin is incorrect. sent10: there exists something such that it is a kind of a Yersin. sent11: there is something such that the fact that it is not scopal and it is not an engine is incorrect. sent12: that the Whistler is not a powerhouse and it does not shush tetraskelion is not correct. sent13: there is something such that that it is not a powerhouse and it does shush tetraskelion is wrong. sent14: the Whistler is a bolometer and it is a powerhouse if the jalapeno is not a bolometer. sent15: if the king is not a Yersin the fact that the jalapeno is a kind of a Yersin and is a kind of a bolometer hold. sent16: the king is not a kind of a Yersin if there is something such that it is a powerhouse. sent17: that the Whistler is a kind of a powerhouse that does not shush tetraskelion does not hold. sent18: that the Whistler is not a Yersin and it is not a powerhouse does not hold. ; $proof$ = 
sent12 -> int1: there exists something such that that it is not a kind of a powerhouse and does not shush tetraskelion does not hold.; int1 & sent2 -> int2: the king is not a Yersin.; int2 & sent15 -> int3: the jalapeno is a Yersin and it is a bolometer.; int3 -> hypothesis; __PROVED__