premise: Luis has not visited Batesville, Nathan has not visited Washington, Lester has visited Hershey and if Nathan has not visited Washington then Tyler has visited Fort Worth
hypothesis: Tyler has not visited Fort Worth