Anne is big. Anne is blue. Anne is quiet. Anne is smart. Bob is blue. Bob is furry. Bob is round. If Bob is furry then Bob is smart. If Anne is smart and Anne is young then Anne is big. Smart, blue people are furry.
Bob is not smart.