premise: Dwayne has not visited Elizabeth City, Tyrone has visited Guntersville, Frank has not visited Centralia and if Frank has visited Centralia then Phillip has visited River Forest
hypothesis: Phillip has visited River Forest