premise: Shawn has not visited Oklahoma City, Bill has visited Naples, Vincent has not visited Bonners Ferry and if Vincent has not visited Bonners Ferry then Francisco has not visited Coventry
hypothesis: Francisco has not visited Coventry