the pyrometer is not a pomade but it does etiolate.
sent1: if the taproot does not etiolate then the pyrometer is not a pomade and etiolate. sent2: if there is something such that that either it does sample backfire or it is not a cataphyll or both is incorrect then the cockscomb does sample workaholic. sent3: there is something such that it does not coconspire. sent4: the fact that something does not pomade but it etiolates is wrong if it does not coconspire. sent5: the taproot does sample pyrometer if the zapper is a knot but it is not a tricot. sent6: if something does not coconspire the fact that the cockateel is both not nebulous and anarchistic does not hold. sent7: there exists something such that that it samples backfire or it is not a cataphyll or both is not right. sent8: the zapper is not a tricot if that the fact that the philologist is a kind of a pro and is a kind of a tricot is not correct hold. sent9: if something that does sample workaholic does sample pyrometer it does not etiolate. sent10: the raja is not a purl. sent11: if the cockscomb does sample workaholic the taproot sample workaholic. sent12: there exists nothing such that it is pro and it is a tricot.
sent3 & sent6 -> int1: the fact that the cockateel is not nebulous and is anarchistic is incorrect.; sent12 -> int2: that the philologist is a pro and it is a tricot is wrong.; sent8 & int2 -> int3: the zapper is not a tricot.; sent7 & sent2 -> int4: the cockscomb samples workaholic.; sent11 & int4 -> int5: the taproot does sample workaholic.; sent9 -> int6: if the taproot samples workaholic and it samples pyrometer it does not etiolate.;
that that the pyrometer is not a pomade and does etiolate is not true hold.
sent4 -> int7: if the fact that the pyrometer does not coconspire is right the fact that it does not pomade and does etiolate is not right.;
$hypothesis$ = the pyrometer is not a pomade but it does etiolate. ; $context$ = sent1: if the taproot does not etiolate then the pyrometer is not a pomade and etiolate. sent2: if there is something such that that either it does sample backfire or it is not a cataphyll or both is incorrect then the cockscomb does sample workaholic. sent3: there is something such that it does not coconspire. sent4: the fact that something does not pomade but it etiolates is wrong if it does not coconspire. sent5: the taproot does sample pyrometer if the zapper is a knot but it is not a tricot. sent6: if something does not coconspire the fact that the cockateel is both not nebulous and anarchistic does not hold. sent7: there exists something such that that it samples backfire or it is not a cataphyll or both is not right. sent8: the zapper is not a tricot if that the fact that the philologist is a kind of a pro and is a kind of a tricot is not correct hold. sent9: if something that does sample workaholic does sample pyrometer it does not etiolate. sent10: the raja is not a purl. sent11: if the cockscomb does sample workaholic the taproot sample workaholic. sent12: there exists nothing such that it is pro and it is a tricot. ; $proof$ = 
sent3 & sent6 -> int1: the fact that the cockateel is not nebulous and is anarchistic is incorrect.; sent12 -> int2: that the philologist is a pro and it is a tricot is wrong.; sent8 & int2 -> int3: the zapper is not a tricot.; sent7 & sent2 -> int4: the cockscomb samples workaholic.; sent11 & int4 -> int5: the taproot does sample workaholic.; sent9 -> int6: if the taproot samples workaholic and it samples pyrometer it does not etiolate.; __UNKNOWN__