Charlie is round. Charlie is smart. Dave is blue. Erin is round. Erin is smart. Harry is blue. Harry is not round. Smart people are furry. If someone is not round then they are green. If someone is green and not furry then they are cold.
Erin is not round.