premise: Brandon has not visited White Sulphur Springs, Jeff has visited Moore, Chester has visited Kokomo and if Jeff has visited Moore then Peter has visited Steamboat Springs
hypothesis: Peter has visited Steamboat Springs