Anne is big. Anne is cold. Anne is kind. Bob is big. Bob is cold. Bob is furry. Bob is white. Charlie is furry. Dave is big. Dave is furry. Dave is red. Dave is smart. All cold, kind people are red. If someone is cold and red then they are furry. White people are furry.
Bob is smart.