Anne is cold. Anne is smart. Dave is furry. Dave is kind. Dave is smart. Gary is furry. Harry is cold. All blue, kind things are cold. All round things are furry. Furry things are kind. If Gary is round then Gary is smart. All cold things are round. All furry, smart things are white. All kind things are smart.
Harry is not smart.