Charlie is green. Charlie is smart. Dave is cold. Dave is green. Dave is red. Dave is smart. Erin is nice. Erin is smart. Fiona is green. Fiona is nice. Fiona is red. Fiona is young. If Dave is cold then Dave is smart. All smart, round things are red. Young, cold things are round. If Fiona is nice then Fiona is red. If something is smart and green then it is cold. If something is red and young then it is nice. If Charlie is cold then Charlie is young. If something is not cold then it is young.
Charlie is nice.