premise: Antonio has not visited East Providence, Fernando has not visited Carlinville, Enrique has visited Green Bay and if Antonio has visited East Providence then Jeremy has visited Eastport
hypothesis: Jeremy has not visited Eastport