Anne is cold. Anne is quiet. Anne is white. Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. Dave is blue. Dave is cold. Dave is white. Gary is blue. Gary is cold. Gary is red. Gary is rough. All red, cold things are blue. If Gary is big then Gary is blue. If something is red and big then it is rough.
Dave is not rough.