Charlie is white. Erin is not kind. Gary is red. If Gary is red and Gary is round then Gary is smart. If someone is not round then they are not cold. If someone is smart and red then they are rough. If Erin is smart and Erin is round then Erin is red. If someone is white and kind then they are cold. All white people are rough. If someone is kind then they are not rough. If Charlie is white and Charlie is cold then Charlie is rough.
Gary is not rough.