Anne is white. Bob is young. Charlie is kind. Gary is white. All smart people are kind. If Charlie is round then Charlie is rough. If someone is cold then they are white. All smart, cold people are white. If someone is smart and kind then they are white. If someone is white then they are kind. If Gary is kind then Gary is smart. If Anne is rough then Anne is young.
Charlie is not rough.