Bob is blue. Bob is furry. Bob is green. Bob is rough. Dave is nice. Dave is not red. Dave is rough. Dave is smart. Harry is green. Harry is not red. If something is not blue and not smart then it is not rough. Smart, nice things are not red. If something is smart and not red then it is green.
Harry is furry.