premise: Nathaniel has not visited Red Cloud, Charlie has not visited Iron Mountain, Darryl has visited Keene and if Nathaniel has not visited Red Cloud then Rick has visited Arkadelphia
hypothesis: Rick has visited Arkadelphia