Anne is big. Anne is blue. Anne is nice. Anne is round. Bob is blue. Bob is nice. Bob is smart. Bob is white. Fiona is blue. Fiona is nice. Fiona is red. Fiona is round. If something is red and smart then it is big. If Anne is smart then Anne is red. White things are big. If something is red and smart then it is big. Nice things are red. All round, red things are white. If Bob is big and Bob is nice then Bob is red. If something is white then it is smart.
Anne is white.