Anne is furry. Anne is nice. Anne is young. Dave is furry. Dave is green. Dave is red. Dave is young. All big, red people are smart. If someone is nice then they are big. All nice people are furry. All big people are furry. If Dave is red then Dave is big. If someone is red and smart then they are nice. If Anne is furry and Anne is young then Anne is green. If someone is smart then they are furry.
Dave is smart.