Anne is big. Anne is round. Anne is white. Anne is young. Bob is nice. Bob is round. Bob is young. Erin is green. Erin is young. Harry is young. If someone is green then they are blue. Young, round people are green. All white people are nice. Big, green people are white. Blue people are big. If someone is nice and not young then they are round. Blue, nice people are round. If Erin is blue and Erin is not round then Erin is big. If Anne is young and Anne is not blue then Anne is white.
Harry is green.