Anne is not big. Anne is nice. Anne is quiet. Anne is smart. Charlie is not cold. Charlie is nice. Dave is big. Dave is blue. Dave is nice. Fiona is not red. If Anne is blue and Anne is not big then Anne is not smart. If someone is nice and not big then they are not red.
Anne is not big.