premise: Lonnie has not visited Cedar City, Patrick has visited Williamsburg, Alfred has not visited Genoa and if Alfred has not visited Genoa then Reginald has visited Santa Monica
hypothesis: Reginald has not visited Santa Monica