Charlie is red. Charlie is smart. Dave is blue. Dave is nice. Dave is quiet. Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Harry is blue. Harry is quiet. Harry is red. Harry is rough. Harry is smart. Red, quiet things are smart. All nice things are green. Green things are red.
Harry is not nice.