premise: Kyle has not visited Bastrop, Alexander has not visited Lafayette, Gene has visited Freeport and if Alexander has not visited Lafayette then Rick has not visited Sand Springs
hypothesis: Rick has not visited Sand Springs