Anne is big. Anne is kind. Anne is nice. Anne is smart. Bob is nice. Fiona is big. Fiona is red. Gary is kind. Gary is nice. Gary is white. All young people are nice. If Fiona is smart then Fiona is nice. Smart people are nice. Nice people are kind. All red, nice people are young. All kind people are white. If someone is young then they are smart. If someone is white then they are red. If someone is smart and not red then they are kind.
Fiona is smart.