premise: Freddie has not visited Roseburg, Bruce has visited Jefferson City, Fred has not visited West Des Moines and if Fred has visited West Des Moines then Samuel has visited Appleton
hypothesis: Samuel has not visited Appleton