premise: Clarence has not visited Fitzgerald, Curtis has not visited Lumberton, Chris has visited Tempe and if Clarence has visited Fitzgerald then Dan has visited Warner Robins
hypothesis: Dan has not visited Warner Robins