premise: Walter has not visited Vineland, Ray has visited New Bern, Marion has visited Silver Spring and if Marion has visited Silver Spring then Jeremy has visited East Cleveland
hypothesis: Jeremy has not visited East Cleveland