Charlie is cold. Charlie is green. Charlie is nice. Dave is green. Dave is round. Dave is smart. Erin is green. Fiona is blue. Fiona is green. Fiona is nice. If Charlie is nice and Charlie is round then Charlie is smart. Nice, cold things are round.
Erin is not green.