Anne is big. Anne is not blue. Anne is furry. Anne is rough. Anne is smart. Anne is young. Fiona is rough. If something is furry and big then it is rough. All furry, rough things are big. Young things are rough. All white, blue things are furry. All white things are not smart. If something is not rough then it is big. If Fiona is not rough then Fiona is not white. If something is not big then it is smart.
Fiona is blue.