premise: Javier has not visited Norwalk, Stephen has not visited Carbondale, Marcus has visited Buffalo and if Javier has not visited Norwalk then Tracy has visited Arkansas Post
hypothesis: Tracy has visited Arkansas Post