premise: Jack has not visited Santa Barbara, Zachary has not visited Farmington, Darryl has visited Oakland and if Jack has visited Santa Barbara then Raymond has visited Staten Island
hypothesis: Raymond has not visited Staten Island