Anne is blue. Anne is kind. Anne is quiet. Anne is rough. Anne is round. Gary is blue. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is not smart. If something is round and not red then it is smart.
Gary is not blue.