Anne is red. Charlie is kind. Charlie is red. Charlie is rough. Gary is blue. Gary is kind. Harry is rough. All young, smart people are rough. Smart, rough people are young. Blue people are smart. All rough people are young. If someone is smart then they are rough. If someone is kind then they are blue. All red people are kind. Furry people are young. All rough, kind people are blue.
Harry is not smart.