premise: George has not visited Marinette, Micheal has visited Roseville, Jeffery has not visited Newark and if Jeffery has visited Newark then Dwayne has visited Holly Springs
hypothesis: Dwayne has not visited Holly Springs