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