Charlie is green. Dave is green. Erin is big. Erin is quiet. Erin is not red. Fiona is blue. Fiona is not rough. All rough people are blue. Blue, red people are kind. All green people are big. If someone is quiet and not red then they are kind. If Charlie is big then Charlie is rough. All blue people are quiet. If someone is not quiet then they are big.
Fiona is red.