Anne is big. Anne is cold. Anne is green. Anne is round. Bob is big. Bob is cold. Bob is round. Harry is blue. Harry is cold. Harry is quiet. If Bob is round and Bob is quiet then Bob is green. All big, cold people are quiet. All green people are big. If someone is green then they are blue. If Bob is quiet then Bob is round. All round people are cold.
Harry is green.