Anne is cold. Anne is red. Dave is blue. Dave is smart. Gary is red. Harry is big. Harry is smart. Quiet, blue things are white. If something is cold then it is quiet. If something is white and big then it is red. All blue things are cold. White things are smart. All cold things are blue. All red things are big. All cold, quiet things are smart. All white, smart things are big.
Dave is not big.