Charlie is quiet. Dave is kind. Erin is green. All rough, smart people are nice. If Charlie is furry then Charlie is smart. All rough, quiet people are nice. If Dave is smart then Dave is green. Green people are nice. Furry people are rough. All nice people are rough. All nice, furry people are quiet.
Dave is not furry.