premise: Danny has not visited Lufkin, Kenneth has visited Independence, Jorge has visited Presque Isle and if Kenneth has visited Independence then Julian has visited Williamsburg
hypothesis: Julian has not visited Williamsburg