Anne is big. Anne is cold. Anne is furry. Anne is smart. Anne is young. Bob is cold. Bob is kind. Bob is young. Gary is kind. Harry is big. Smart things are big. All big things are red. If Bob is furry then Bob is young. If Harry is red then Harry is smart. Smart, young things are kind. All smart things are young. All kind, cold things are red. Kind things are cold.
Harry is not kind.