Dave is red. Erin is not big. Erin is smart. Fiona is big. Fiona is red. Gary is quiet. Gary is red. If Dave is not quiet then Dave is green. If Erin is smart then Erin is quiet. If someone is blue then they are big. If someone is smart and red then they are kind. If someone is big then they are green. All big, kind people are not quiet. Red, green people are big. Green, big people are smart. If someone is not green then they are smart.
Fiona is not quiet.