Charlie is blue. Charlie is not nice. Charlie is round. Charlie is not smart. Dave is blue. Dave is kind. Dave is not nice. Dave is red. Dave is round. Fiona is green. Fiona is not kind. Fiona is not round. If Dave is round and Dave is not nice then Dave is blue. If Fiona is nice then Fiona is not smart. Kind, green people are round. Nice people are kind. Red, green people are not smart. If someone is not red then they are not nice.
Fiona is nice.