Bob is nice. Bob is white. Charlie is nice. Charlie is rough. Dave is red. Harry is quiet. Harry is young. If Dave is quiet and Dave is nice then Dave is white. If something is young then it is rough. Red things are young. If something is rough and red then it is quiet. All rough things are white. All nice things are rough. If something is nice and quiet then it is white. If something is white then it is furry. If something is furry then it is nice.
Harry is not rough.