Anne is blue. Anne is cold. Anne is furry. Anne is smart. Bob is big. Bob is blue. Bob is rough. Bob is smart. Dave is blue. Dave is cold. Dave is green. Dave is rough. Dave is smart. Erin is big. Erin is smart. If something is furry then it is big. All big things are cold. All cold, rough things are green.
Bob is not furry.