premise: Lance has not visited La Grande, Tracy has visited Ruston, Calvin has not visited Oyster Bay and if Calvin has not visited Oyster Bay then Jesus has visited South Carolina
hypothesis: Jesus has not visited South Carolina