Dave is green. Dave is red. Dave is smart. Harry is furry. Harry is green. Harry is nice. Harry is smart. If something is red then it is furry. All rough things are quiet. All smart things are rough. If something is smart and furry then it is quiet. All quiet, furry things are green. If something is rough and green then it is smart. If something is nice then it is furry. All green, furry things are nice.
Harry is furry.