the tailback is not a kind of an exterminator.
sent1: if the stay is a Dachau it does not sunder. sent2: if something does not etiolate the fact that the stay does not smite dhawa but it is able does not hold. sent3: if the bradawl is Andalusian the stay is not able. sent4: if something does not sunder then it is an exterminator. sent5: the stay does not smite laver if there exists something such that it is not a kind of a greenmail. sent6: if there is something such that it is Andalusian or it is not able or both then the bradawl is not a yawl. sent7: that the sulfisoxazole is not a Edwardian but it smites dhawa is not right if there is something such that it is not a yawl. sent8: if something is a kind of a Dachau then it does not sunder and it is not a kind of a greenmail. sent9: something is Andalusian if it does not sunder and is not a kind of a greenmail. sent10: the stay is able if the bradawl is able a yawl. sent11: the fact that the swagman does not etiolate and does not smite laver is incorrect. sent12: the swagman does not etiolate and does not smite dhawa. sent13: if the fact that the swagman does not etiolate and it does not smite laver does not hold the stay is a Dachau. sent14: that the stay is a kind of the Dachau if the stay is not Edwardian and does not smite dhawa is correct. sent15: if there is something such that it does not smite laver the fact that the swagman is a yawl that does sunder is wrong. sent16: if the stay is able then the fact that the swagman is both not Andalusian and not a greenmail is incorrect. sent17: the swagman is not Edwardian if that the stay does not smite laver and does sunder is not correct.
sent13 & sent11 -> int1: the fact that the stay is a Dachau hold.; sent8 -> int2: the stay does not sunder and it is not a greenmail if it is a Dachau.; int1 & int2 -> int3: the stay does not sunder and it is not a greenmail.; sent9 -> int4: that the stay is Andalusian is correct if it does not sunder and it is not a greenmail.; int3 & int4 -> int5: the stay is Andalusian.; int5 -> int6: the stay is Andalusian or it is not able or both.; int6 -> int7: something is Andalusian and/or it is not able.; int7 & sent6 -> int8: the bradawl is not a yawl.; int8 -> int9: there exists something such that it is not a kind of a yawl.; int9 & sent7 -> int10: the fact that the sulfisoxazole is not a Edwardian but it does smite dhawa is incorrect.;
the tailback is an exterminator.
sent4 -> int11: if the tailback does not sunder then it is an exterminator.;
$hypothesis$ = the tailback is not a kind of an exterminator. ; $context$ = sent1: if the stay is a Dachau it does not sunder. sent2: if something does not etiolate the fact that the stay does not smite dhawa but it is able does not hold. sent3: if the bradawl is Andalusian the stay is not able. sent4: if something does not sunder then it is an exterminator. sent5: the stay does not smite laver if there exists something such that it is not a kind of a greenmail. sent6: if there is something such that it is Andalusian or it is not able or both then the bradawl is not a yawl. sent7: that the sulfisoxazole is not a Edwardian but it smites dhawa is not right if there is something such that it is not a yawl. sent8: if something is a kind of a Dachau then it does not sunder and it is not a kind of a greenmail. sent9: something is Andalusian if it does not sunder and is not a kind of a greenmail. sent10: the stay is able if the bradawl is able a yawl. sent11: the fact that the swagman does not etiolate and does not smite laver is incorrect. sent12: the swagman does not etiolate and does not smite dhawa. sent13: if the fact that the swagman does not etiolate and it does not smite laver does not hold the stay is a Dachau. sent14: that the stay is a kind of the Dachau if the stay is not Edwardian and does not smite dhawa is correct. sent15: if there is something such that it does not smite laver the fact that the swagman is a yawl that does sunder is wrong. sent16: if the stay is able then the fact that the swagman is both not Andalusian and not a greenmail is incorrect. sent17: the swagman is not Edwardian if that the stay does not smite laver and does sunder is not correct. ; $proof$ = 
sent13 & sent11 -> int1: the fact that the stay is a Dachau hold.; sent8 -> int2: the stay does not sunder and it is not a greenmail if it is a Dachau.; int1 & int2 -> int3: the stay does not sunder and it is not a greenmail.; sent9 -> int4: that the stay is Andalusian is correct if it does not sunder and it is not a greenmail.; int3 & int4 -> int5: the stay is Andalusian.; int5 -> int6: the stay is Andalusian or it is not able or both.; int6 -> int7: something is Andalusian and/or it is not able.; int7 & sent6 -> int8: the bradawl is not a yawl.; int8 -> int9: there exists something such that it is not a kind of a yawl.; int9 & sent7 -> int10: the fact that the sulfisoxazole is not a Edwardian but it does smite dhawa is incorrect.; __UNKNOWN__