premise: Bernard has not visited Fort Walton Beach, Gregory has visited Highland Park, Adrian has not visited Jefferson City and if Adrian has not visited Jefferson City then Zachary has not visited Carlinville
hypothesis: Zachary has not visited Carlinville