premise: Felix has not visited Irvington, Clyde has visited Murray, Frederick has not visited Rawlins and if Frederick has not visited Rawlins then Daryl has visited Saint Cloud
hypothesis: Daryl has not visited Saint Cloud