Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is rough. Anne is smart. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is rough. Fiona is furry. Fiona is green. Fiona is kind. Fiona is smart. All smart, rough things are kind. Nice things are green. If something is kind then it is furry. If Fiona is cold then Fiona is rough. Cold things are nice. All nice, kind things are cold. If Charlie is furry and Charlie is nice then Charlie is green. All smart things are nice.
Fiona is not smart.