Anne is big. Anne is blue. Anne is cold. Anne is quiet. Dave is green. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is smart. Fiona is white. Gary is big. Gary is quiet. If someone is green and not white then they are blue. All blue people are big.
Fiona is not blue.