premise: Phillip has not visited Rock Hill, Harold has not visited North Kingstown, Bryan has visited Mount Vernon and if Phillip has not visited Rock Hill then Fernando has visited Andersonville
hypothesis: Fernando has visited Andersonville