Bob is green. Bob is rough. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Erin is furry. Erin is nice. Erin is smart. Harry is cold. Harry is green. Harry is smart. All green, rough people are furry. If someone is rough then they are smart. Rough, nice people are cold. Rough people are furry. Cold people are nice. If someone is rough then they are green. All cold, rough people are quiet. Smart, furry people are green.
Dave is not rough.