Anne is furry. Charlie is white. Dave is cold. Fiona is big. If something is cold and not smart then it is rough. White, furry things are big. If something is cold and not smart then it is white. If something is rough and white then it is furry. If Charlie is big then Charlie is white. If something is rough and not big then it is not green. If something is green and not furry then it is white. If something is big and not furry then it is green.
Dave is not rough.