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