Anne is red. Bob is big. Bob is blue. Bob is quiet. Bob is red. Bob is smart. Bob is white. Bob is young. Fiona is quiet. Fiona is red. Fiona is white. Fiona is young. If something is blue then it is quiet. If something is smart and young then it is blue. If something is big then it is smart. All quiet things are blue. All blue things are big. Red, white things are young.
Fiona is not blue.