premise: Ryan has not visited Peoria, Warren has visited Florissant, Julian has visited Queens and if Warren has visited Florissant then Reginald has visited College Station
hypothesis: Reginald has not visited College Station