Anne is quiet. Dave is smart. Erin is big. Harry is kind. Red, big people are green. If Anne is red and Anne is young then Anne is green. Big people are smart. All big people are kind. All big people are kind. Kind, green people are red. Smart people are red. If someone is kind then they are big.
Harry is not young.