Anne is blue. Anne is not furry. Anne is green. Anne is not round. Anne is smart. Anne is white. Anne is young. Fiona is furry. Fiona is green. Fiona is not smart. Fiona is white. Fiona is young. If someone is white and not green then they are smart. If someone is not white and not young then they are not green.
Fiona is not smart.