Anne is blue. Anne is rough. Charlie is nice. Charlie is rough. Charlie is white. Gary is blue. Gary is nice. Gary is rough. Gary is smart. Gary is white. Harry is blue. Harry is nice. Harry is smart. Harry is white. If something is nice then it is green. If Harry is blue then Harry is nice. Green things are blue. If something is white then it is smart. If something is red then it is nice. All nice, green things are white. All green things are rough. Rough, blue things are red.
Charlie is blue.