premise: Darren has not visited Torrance, Gerald has not visited Point Pleasant, Rodney has visited Minden and if Gerald has visited Point Pleasant then Howard has visited Wisconsin
hypothesis: Howard has visited Wisconsin