premise: Lloyd has not visited Albuquerque, Terrence has visited Borger, Derrick has not visited Warm Springs and if Derrick has not visited Warm Springs then Kyle has visited Thermopolis
hypothesis: Kyle has not visited Thermopolis