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