Anne is nice. Anne is round. Anne is smart. Fiona is big. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is red. Gary is big. Gary is blue. Gary is kind. Gary is round. If Gary is smart then Gary is kind. Blue, kind people are smart. All smart, red people are round.
Fiona is not round.