premise: Neil has not visited Fort Lee, Wallace has not visited Warren, Ryan has visited Crawfordsville and if Neil has visited Fort Lee then Donald has visited Arkansas City
hypothesis: Donald has not visited Arkansas City