premise: Howard has not visited Gainesville, Joseph has not visited Panama City, Christopher has visited Talladega and if Howard has not visited Gainesville then Anthony has visited The Dalles
hypothesis: Anthony has visited The Dalles