premise: Greg has visited Redwood City, Larry has not visited Mesquite, Louis has visited Virginia City and if Greg has visited Redwood City then Gerald has visited Sainte Genevieve
hypothesis: Gerald has visited Sainte Genevieve