premise: Erik has not visited Saratoga Springs, Rick has not visited Cambridge, Roberto has visited Pekin and if Erik has not visited Saratoga Springs then Ricardo has visited Valdez
hypothesis: Ricardo has not visited Valdez