premise: Carl has not visited New Windsor, Nicholas has not visited Somerville, Clifford has visited Mineola and if Nicholas has not visited Somerville then Manuel has visited Central City
hypothesis: Manuel has not visited Central City