premise: Ryan has not visited Moore, Donald has not visited Shelbyville, Nelson has visited Winslow and if Donald has not visited Shelbyville then Daryl has not visited Lancaster
hypothesis: Daryl has not visited Lancaster