Charlie is blue. Charlie is not furry. Charlie is green. Charlie is not kind. Charlie is not red. Charlie is rough. Charlie is smart. Fiona is blue. Fiona is furry. Fiona is not green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is not smart. If Fiona is red and Fiona is blue then Fiona is kind. If something is not green then it is furry.
Fiona is not smart.