Bob is nice. Dave is furry. Dave is quiet. Dave is white. Gary is rough. Gary is smart. Harry is furry. Quiet things are nice. All smart things are rough. If Dave is white then Dave is smart.
Dave is rough.