Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is smart. Dave is furry. Dave is green. Erin is cold. Erin is furry. Erin is green. Erin is smart. Erin is white. Harry is cold. Harry is furry. Harry is green. Cold, white things are big. If Harry is white then Harry is smart. Furry things are smart. If Dave is cold and Dave is smart then Dave is big. All green, big things are furry. If something is smart and green then it is young. If something is smart then it is furry. If something is big then it is white.
Harry is not smart.