Charlie is smart. Dave is green. Smart people are young. If someone is big then they are smart. Smart, nice people are white. Smart people are young. All big people are green. If Dave is rough then Dave is big.
Dave is not rough.