premise: Nicholas has not visited New Philadelphia, Clayton has not visited Virginia City, Nathan has visited Greenville and if Nicholas has visited New Philadelphia then Clyde has visited Tamaqua
hypothesis: Clyde has visited Tamaqua