premise: Bryan has not visited Provincetown, Robert has visited Garland, Scott has not visited New Paltz and if Scott has not visited New Paltz then Stephen has not visited Alexandria
hypothesis: Stephen has not visited Alexandria