premise: Julio has not visited Cape Coral, Willie has not visited New Windsor, Steven has visited Indianola and if Julio has not visited Cape Coral then Barry has not visited Greensboro
hypothesis: Barry has not visited Greensboro