premise: Samuel has not visited Bar Harbor, Oscar has visited Ottawa, Benjamin has visited Buena Park and if Benjamin has visited Buena Park then Hector has visited Chattanooga
hypothesis: Hector has not visited Chattanooga