Charlie is green. Charlie is quiet. Charlie is white. Dave is blue. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is white. Erin is green. Erin is round. Fiona is nice. All nice, green people are quiet. All green people are round. White people are red. All quiet, round people are blue. All red people are green. If Fiona is blue and Fiona is green then Fiona is red.
Erin is nice.