Bob is red. Charlie is not cold. Erin is not young. Harry is round. Red people are green. If someone is red and round then they are cold. Young, cold people are blue. Smart people are green. If Charlie is smart then Charlie is red. If Erin is smart and Erin is not cold then Erin is blue.
Harry is round.