Anne is blue. Anne is cold. Anne is green. Anne is smart. Anne is white. Dave is blue. Dave is green. Dave is quiet. Dave is smart. Dave is white. Erin is big. Erin is blue. Erin is cold. Erin is quiet. Erin is smart. Smart things are quiet. Green, quiet things are big. All big things are blue. If Anne is quiet and Anne is blue then Anne is smart. If something is smart and blue then it is green. If Anne is smart then Anne is green.
Dave is not green.