Bob is not cold. Bob is round. Erin is round. Erin is young. Gary is red. Gary is smart. Harry is blue. Harry is not cold. Harry is nice. Harry is not red. Harry is round. Harry is smart. If Harry is red then Harry is round. If Erin is smart then Erin is round. If Harry is not young then Harry is round. If someone is young and smart then they are blue. If someone is not red then they are not cold. Red, round people are nice. If Erin is red then Erin is round. If someone is round and young then they are smart.
Harry is not nice.