Anne is green. Anne is kind. Anne is quiet. Anne is round. Dave is quiet. Erin is blue. Erin is not smart. All quiet things are kind. If Dave is kind and Dave is quiet then Dave is smart. If something is white then it is blue.
Dave is not kind.