Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Bob is cold. Bob is furry. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is not smart. If Bob is furry then Bob is blue. If something is smart and blue then it is green.
Bob is not green.