Anne is big. Anne is green. Anne is red. Bob is blue. Bob is green. Harry is blue. Harry is kind. All big, green people are nice. If Harry is big then Harry is kind. If Harry is green and Harry is blue then Harry is nice. If someone is green then they are blue. If someone is rough then they are red. Kind, red people are big. Big people are nice. All green, blue people are rough.
Harry is not blue.