Dave is nice. Dave is rough. Dave is young. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. Gary is blue. Gary is rough. All blue people are nice. All red, nice people are young. All smart, nice people are kind. All young people are red. All red people are nice. All blue people are young. All smart people are young. Nice people are smart.
Gary is not blue.