Anne is furry. Anne is kind. Anne is white. Anne is young. Bob is blue. Bob is furry. Bob is kind. Bob is smart. Bob is white. Bob is young. Fiona is not blue. Fiona is furry. Fiona is red. Fiona is smart. Fiona is not white. Fiona is young. If Anne is red then Anne is smart. All kind things are red. If something is kind then it is white. If something is not kind then it is young. If something is not smart then it is young. If something is not young then it is not red.
Fiona is red.