premise: Donald has not visited Camden, Alan has visited Sturgeon Bay, Roy has not visited Mount Clemens and if Roy has not visited Mount Clemens then Sidney has visited Vicksburg
hypothesis: Sidney has not visited Vicksburg