Anne is red. Dave is blue. Gary is cold. Harry is blue. Harry is cold. Harry is kind. Harry is round. Cold things are red. Round, red things are kind. Cold, quiet things are not blue. If something is not quiet then it is cold. If Anne is not blue then Anne is red. All smart, red things are round. If something is smart then it is red. If something is red then it is smart. If something is smart and not cold then it is not blue.
Dave is not red.