premise: Warren has not visited Mansfield, David has not visited Tallahas notsee, Jason has visited Mount Pleasant and if Warren has not visited Mansfield then Rafael has visited Simsbury
hypothesis: Rafael has not visited Simsbury