premise: Peter has not visited Miles City, Daryl has visited Parsippany–Troy Hills, Lawrence has not visited Branford and if Lawrence has not visited Branford then Willard has visited Fort Collins
hypothesis: Willard has not visited Fort Collins