premise: Ted has not visited Pinehurst, Thomas has visited Hartsville, Willie has not visited Sun Valley and if Willie has not visited Sun Valley then Alan has not visited Jefferson City
hypothesis: Alan has not visited Jefferson City