premise: Bradley has not visited Philadelphia, Roger has not visited Lake Forest, Dennis has visited Waterbury and if Bradley has not visited Philadelphia then Jeremy has not visited Sausalito
hypothesis: Jeremy has not visited Sausalito