premise: Chester has not visited Nephi, Guy has visited Norton, Ruben has not visited Greenville and if Ruben has visited Greenville then Richard has visited Amana Colonies
hypothesis: Richard has not visited Amana Colonies