Anne is red. Fiona is not smart. If something is big and not cold then it is quiet. If something is red then it is not big. If Anne is quiet then Anne is smart. All big, cold things are smart. White things are red. White things are smart. If something is cold and red then it is white. If Fiona is red and Fiona is not smart then Fiona is big.
Fiona is not red.