Anne is cold. Anne is quiet. Anne is smart. Anne is young. Dave is cold. Dave is furry. Dave is quiet. Dave is red. Dave is smart. Dave is young. Gary is big. Harry is furry. If Harry is big and Harry is red then Harry is quiet. Cold things are smart. If Anne is furry and Anne is cold then Anne is big. Red, cold things are young. All furry things are cold. If Dave is cold and Dave is young then Dave is red.
Harry is smart.