the nut is onomastic and/or it is a Aztec.
sent1: the acetaminophen is not mutable. sent2: if the ecstasy is a conversion it is a Tobagonian. sent3: the ecstasy is not Tobagonian if the pleomorphism is statesmanlike or it is onomastic or both. sent4: something is a conversion or seamless or both if it is not a kind of a Tobagonian. sent5: the nut renders dovekie. sent6: the nut is a conversion. sent7: the honeydew is seamless. sent8: the ecstasy is statesmanlike if it is a kind of a Tobagonian. sent9: the ecstasy is seamless. sent10: the nut does broach if it is a kind of a Aztec. sent11: the acetaminophen does unfasten. sent12: the ecstasy is seamless and it is a conversion. sent13: the fact that the nut is onomastic and/or it is a Aztec is incorrect if the ecstasy is not seamless. sent14: there exists something such that it is a Aztec.
sent12 -> int1: the fact that the ecstasy is a conversion is correct.; int1 & sent2 -> int2: the ecstasy is a Tobagonian.; int2 & sent8 -> int3: the ecstasy is statesmanlike.;
that the nut is onomastic and/or is a kind of a Aztec is not correct.
sent1 & sent11 -> int4: the acetaminophen is not mutable but it does unfasten.; int4 -> int5: there is something such that it is not mutable and it does unfasten.;
$hypothesis$ = the nut is onomastic and/or it is a Aztec. ; $context$ = sent1: the acetaminophen is not mutable. sent2: if the ecstasy is a conversion it is a Tobagonian. sent3: the ecstasy is not Tobagonian if the pleomorphism is statesmanlike or it is onomastic or both. sent4: something is a conversion or seamless or both if it is not a kind of a Tobagonian. sent5: the nut renders dovekie. sent6: the nut is a conversion. sent7: the honeydew is seamless. sent8: the ecstasy is statesmanlike if it is a kind of a Tobagonian. sent9: the ecstasy is seamless. sent10: the nut does broach if it is a kind of a Aztec. sent11: the acetaminophen does unfasten. sent12: the ecstasy is seamless and it is a conversion. sent13: the fact that the nut is onomastic and/or it is a Aztec is incorrect if the ecstasy is not seamless. sent14: there exists something such that it is a Aztec. ; $proof$ = 
sent12 -> int1: the fact that the ecstasy is a conversion is correct.; int1 & sent2 -> int2: the ecstasy is a Tobagonian.; int2 & sent8 -> int3: the ecstasy is statesmanlike.; __UNKNOWN__