Bob is blue. Bob is green. Bob is kind. Bob is red. Bob is rough. Bob is smart. Dave is blue. Dave is green. Dave is red. Dave is not smart. Harry is blue. Harry is smart. All smart, blue things are red. If Harry is red then Harry is green. If something is not green then it is round. If something is not red then it is round. If something is smart and not red then it is blue. If something is not red and not rough then it is round.
Harry is rough.