Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is smart. Anne is white. Dave is big. Dave is furry. Dave is rough. Fiona is big. Fiona is green. Fiona is rough. Fiona is smart. Fiona is white. If Anne is rough and Anne is kind then Anne is white. Furry, green things are smart. If something is furry and rough then it is green. If something is smart and green then it is rough. Green, furry things are rough. If Dave is big then Dave is white. If Fiona is kind and Fiona is green then Fiona is furry. If something is smart and furry then it is kind.
Dave is smart.