premise: Julian has visited Forrest City, Kent has not visited Anaheim, Andre has visited Lewistown and if Julian has visited Forrest City then Howard has visited Nebraska City
hypothesis: Howard has not visited Nebraska City