premise: Jimmy has not visited Mystic, Eddie has visited North Adams, Jeffery has visited Cambridge and if Jeffery has visited Cambridge then Frederick has visited New London
hypothesis: Frederick has not visited New London