premise: Derek has not visited Roanoke, Thomas has visited Redondo Beach, Peter has visited Santa Barbara and if Thomas has visited Redondo Beach then Arthur has visited Staten Island
hypothesis: Arthur has visited Staten Island