Anne is round. Anne is smart. Bob is green. Bob is kind. Dave is green. Dave is smart. Erin is cold. Round, quiet things are furry. Green things are kind. All round, smart things are cold. Round, cold things are green. Green, smart things are cold. Kind things are quiet. If something is not round and not green then it is furry. If something is round and not furry then it is smart.
Erin is not smart.