Bob is kind. Bob is rough. Bob is round. Erin is green. Erin is red. Erin is rough. Erin is smart. Gary is kind. Gary is rough. Harry is nice. Harry is rough. Harry is smart. All rough things are nice. If something is red then it is smart. Smart, red things are round. If something is green then it is kind. All nice, red things are rough. All red, round things are green. If Gary is green then Gary is kind. All kind, nice things are red.
Harry is not kind.