Bob is red. Charlie is kind. Charlie is white. Erin is big. Erin is blue. Erin is cold. Gary is rough. If something is not blue then it is cold. All cold things are white. If something is blue then it is rough. All blue things are cold. If something is red and white then it is kind. If something is red and white then it is cold.
Bob is not rough.