Anne is cold. Anne is furry. Anne is kind. Anne is red. Anne is rough. Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is smart. Bob is young. Harry is not kind. Harry is red. Harry is rough. Harry is young. All rough things are young. If Harry is not cold and Harry is not rough then Harry is not smart. All cold, young things are kind.
Anne is not young.