premise: Carlos has not visited Greenville, Nicholas has not visited Hershey, Marvin has visited Alexandria and if Nicholas has not visited Hershey then Brent has not visited Memphis
hypothesis: Brent has not visited Memphis