premise: Cody has not visited Mount Pleasant, Shane has visited Eureka, Wayne has visited Arkansas City and if Wayne has visited Arkansas City then Billy has visited Stroudsburg
hypothesis: Billy has not visited Stroudsburg