Anne is green. Anne is kind. Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is white. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. Fiona is green. Fiona is kind. Fiona is smart. All round, kind things are rough. If something is kind and round then it is rough. Red things are green. If something is white then it is red. Rough, green things are smart. If Fiona is kind then Fiona is round. If something is green then it is kind. If something is smart and white then it is kind.
Fiona is not red.