the chimneysweeper is not occipital.
sent1: if the fact that the chimneysweeper is not a Roseau but it does consider enologist is incorrect then it does not whirl. sent2: if there exists something such that the fact that it does not coordinate flattery and is a fortuneteller is incorrect the settlor coordinate flattery. sent3: if that the ricer does not serenade settlor and does not consider pitched is incorrect then the chimneysweeper does not coordinate hydrocarbon. sent4: The settlor serenades ensign. sent5: that the chimneysweeper is not a Roseau but it considers enologist is wrong. sent6: something is occipital and a whirl if it does not harshen utilizer. sent7: something is unrentable if it does not whirl. sent8: the chimneysweeper is occipital if the ricer is occipital. sent9: if that something does harshen utilizer and is not creaseproof does not hold the fact that it does not harshen utilizer is true. sent10: if the chimneysweeper is a Roseau it is not a whirl. sent11: if the settlor coordinates flattery the fact that the ricer does not serenade settlor and does not consider pitched is wrong. sent12: something is unrentable. sent13: there exists something such that the fact that it does not coordinate flattery and is a fortuneteller is false. sent14: that the ricer does not harshen utilizer and/or it coordinates hydrocarbon is false if the settlor is creaseproof. sent15: if the settlor is creaseproof the ricer does not coordinate hydrocarbon. sent16: the ricer does not coordinate hydrocarbon. sent17: the ensign serenades settlor. sent18: the settlor is creaseproof if the ensign does serenade settlor. sent19: there are occipital things. sent20: the fact that the chimneysweeper is a kind of a Roseau that does consider enologist is not correct.
sent1 & sent5 -> int1: the chimneysweeper is not a whirl.; sent7 -> int2: the chimneysweeper is unrentable if it does not whirl.; int1 & int2 -> int3: the chimneysweeper is unrentable.; void -> assump1: Let's assume that the chimneysweeper is occipital.; int3 & assump1 -> int4: the chimneysweeper is both unrentable and occipital.; int4 -> int5: something is unrentable and occipital.; sent18 & sent17 -> int6: the fact that the settlor is not non-creaseproof is correct.; sent14 & int6 -> int7: the fact that the ricer does not harshen utilizer or it coordinates hydrocarbon or both is wrong.;
the chimneysweeper is occipital.
$hypothesis$ = the chimneysweeper is not occipital. ; $context$ = sent1: if the fact that the chimneysweeper is not a Roseau but it does consider enologist is incorrect then it does not whirl. sent2: if there exists something such that the fact that it does not coordinate flattery and is a fortuneteller is incorrect the settlor coordinate flattery. sent3: if that the ricer does not serenade settlor and does not consider pitched is incorrect then the chimneysweeper does not coordinate hydrocarbon. sent4: The settlor serenades ensign. sent5: that the chimneysweeper is not a Roseau but it considers enologist is wrong. sent6: something is occipital and a whirl if it does not harshen utilizer. sent7: something is unrentable if it does not whirl. sent8: the chimneysweeper is occipital if the ricer is occipital. sent9: if that something does harshen utilizer and is not creaseproof does not hold the fact that it does not harshen utilizer is true. sent10: if the chimneysweeper is a Roseau it is not a whirl. sent11: if the settlor coordinates flattery the fact that the ricer does not serenade settlor and does not consider pitched is wrong. sent12: something is unrentable. sent13: there exists something such that the fact that it does not coordinate flattery and is a fortuneteller is false. sent14: that the ricer does not harshen utilizer and/or it coordinates hydrocarbon is false if the settlor is creaseproof. sent15: if the settlor is creaseproof the ricer does not coordinate hydrocarbon. sent16: the ricer does not coordinate hydrocarbon. sent17: the ensign serenades settlor. sent18: the settlor is creaseproof if the ensign does serenade settlor. sent19: there are occipital things. sent20: the fact that the chimneysweeper is a kind of a Roseau that does consider enologist is not correct. ; $proof$ = 
sent1 & sent5 -> int1: the chimneysweeper is not a whirl.; sent7 -> int2: the chimneysweeper is unrentable if it does not whirl.; int1 & int2 -> int3: the chimneysweeper is unrentable.; void -> assump1: Let's assume that the chimneysweeper is occipital.; int3 & assump1 -> int4: the chimneysweeper is both unrentable and occipital.; int4 -> int5: something is unrentable and occipital.; sent18 & sent17 -> int6: the fact that the settlor is not non-creaseproof is correct.; sent14 & int6 -> int7: the fact that the ricer does not harshen utilizer or it coordinates hydrocarbon or both is wrong.; __UNKNOWN__