premise: Clarence has not visited Ocean City, Fred has visited Marietta, Darrell has not visited Fort Worth and if Darrell has not visited Fort Worth then Curtis has visited Bellevue
hypothesis: Curtis has visited Bellevue