premise: Frederick has not visited East Aurora, Fernando has not visited Greenville, Curtis has visited Lancaster and if Fernando has not visited Greenville then Chester has visited Salinas
hypothesis: Chester has not visited Salinas