Anne is big. Anne is not blue. Anne is round. Anne is smart. Anne is young. Fiona is not big. Fiona is red. Fiona is round. Fiona is smart. Fiona is not young. Harry is big. Harry is blue. Harry is nice. Harry is red. Harry is smart. Nice things are blue. If Anne is young and Anne is nice then Anne is red. If something is big and not blue then it is smart. If something is not red then it is not blue. If Anne is blue and Anne is not smart then Anne is round. If something is not smart then it is not big.
Fiona is smart.