Anne is rough. Bob is not furry. Bob is not nice. Bob is not round. Bob is smart. Dave is rough. Gary is round. If someone is round then they are green. If Dave is furry then Dave is rough. All round people are nice. Kind, smart people are green. Kind people are furry. Green people are kind. If someone is rough and not green then they are nice. If someone is not smart and not rough then they are nice.
Dave is rough.