Bob is blue. Bob is green. Bob is kind. Bob is rough. Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Gary is cold. Harry is blue. Harry is kind. Harry is rough. Harry is smart. All rough, green things are young. If something is kind then it is rough. All young things are rough. Cold things are young. If Bob is green then Bob is smart. If Bob is young and Bob is kind then Bob is smart. All cold, kind things are rough. If Charlie is rough and Charlie is smart then Charlie is kind.
Gary is not rough.