premise: Cory has not visited Georgetown, Stanley has not visited Clovis, Ivan has visited New Jersey and if Stanley has visited Clovis then Javier has visited Jeffersonville
hypothesis: Javier has not visited Jeffersonville