premise: Martin has not visited Boca Raton, Juan has visited Albert Lea, Alfred has not visited Thousand Oaks and if Alfred has not visited Thousand Oaks then Christopher has visited Austin
hypothesis: Christopher has not visited Austin