Charlie is green. Charlie is quiet. Charlie is rough. Charlie is smart. Fiona is green. Fiona is red. Fiona is smart. Gary is blue. Gary is red. Gary is rough. Harry is big. Harry is blue. Harry is quiet. Harry is red. Harry is rough. Harry is smart. If Gary is rough and Gary is red then Gary is big. Big, green things are red.
Harry is not red.