premise: Matthew has not visited Fort Pierce, Dustin has not visited Levittown, Greg has visited Jeannette and if Matthew has visited Fort Pierce then Jorge has visited New Albany
hypothesis: Jorge has not visited New Albany