premise: Russell has not visited Alamosa, Kevin has visited Wyandotte, Clyde has not visited West Lafayette and if Clyde has not visited West Lafayette then Franklin has visited Nacogdoches
hypothesis: Franklin has not visited Nacogdoches