Anne is blue. Anne is not nice. Anne is quiet. Charlie is young. Dave is blue. Fiona is blue. Fiona is furry. If Dave is blue then Dave is not smart. If Charlie is young and Charlie is nice then Charlie is smart.
Dave is not smart.