premise: Timothy has not visited Boca Raton, Cecil has not visited Pine Bluff, Jesse has visited Elizabethtown and if Cecil has not visited Pine Bluff then Elmer has visited Longview
hypothesis: Elmer has not visited Longview