Anne is cold. Anne is nice. Anne is smart. Anne is young. Bob is young. Dave is kind. Dave is nice. Dave is young. Erin is nice. Erin is smart. If something is big then it is kind. If something is smart then it is big. If something is smart and kind then it is nice. If something is big then it is cold. Young things are big. All kind things are smart. If something is furry and young then it is smart. Nice things are furry.
Bob is smart.