Anne is green. Charlie is blue. Dave is not green. Fiona is red. If something is not green then it is quiet. If Anne is not big then Anne is red. All quiet things are blue. If something is big then it is blue. All green things are quiet. All blue, young things are not cold. If something is young and not red then it is not cold. If something is not red then it is quiet.
Fiona is not red.