Anne is furry. Anne is kind. Anne is rough. Anne is round. Anne is smart. Anne is young. Dave is furry. Dave is rough. Dave is round. Fiona is kind. Fiona is rough. Fiona is smart. All rough, furry things are smart. Smart, furry things are round. All furry things are green. Kind things are furry. All round, rough things are kind. If something is green then it is smart. If Fiona is round and Fiona is smart then Fiona is green. All smart things are rough.
Fiona is not furry.