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