Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is round. Anne is smart. Dave is rough. Gary is blue. Gary is kind. Gary is rough. Gary is smart. If something is smart then it is furry. All blue, smart things are green. All blue, kind things are rough.
Dave is not rough.