Anne is round. Charlie is green. Dave is smart. If something is smart then it is red. Cold things are green. If something is red then it is furry. If something is green and red then it is furry. Round things are nice. Smart, cold things are red.
Charlie is green.