Anne is blue. Anne is green. Anne is not smart. Bob is not blue. Bob is red. Charlie is green. Dave is big. If someone is blue and not big then they are white. If someone is not smart and not big then they are quiet.
Dave is red.