premise: Ricardo has not visited West Allis, Clarence has not visited Tiverton, Travis has visited Rock Springs and if Ricardo has not visited West Allis then Rafael has not visited Laie
hypothesis: Rafael has not visited Laie