Bob is nice. Bob is not red. Charlie is not red. Charlie is not round. Dave is red. Dave is smart. Harry is blue. Harry is kind. Harry is not nice. Harry is rough. Harry is round. Harry is smart. If something is not rough then it is not blue. If Bob is rough then Bob is nice. If something is nice and not red then it is smart. Kind things are round. If Dave is nice and Dave is smart then Dave is not blue. If something is red and not nice then it is smart.
Harry is rough.