premise: Philip has not visited Lenox, Bryan has visited Perth Amboy, Wallace has not visited Campbellsville and if Wallace has not visited Campbellsville then Wayne has not visited Windham
hypothesis: Wayne has not visited Windham