Anne is big. Anne is blue. Bob is big. Bob is blue. Bob is green. Bob is quiet. Bob is round. Bob is smart. Bob is young. Harry is green. Harry is quiet. Harry is not round. If something is young and not smart then it is quiet. If something is not blue then it is green.
Harry is smart.