Charlie is young. Dave is red. Dave is young. Erin is smart. Erin is not young. Harry is green. Harry is smart. All quiet people are blue. Smart, blue people are red. Quiet, red people are rough. Rough, young people are green. If Charlie is quiet and Charlie is rough then Charlie is red. If Harry is smart then Harry is quiet. Rough people are young. If someone is blue and red then they are smart. If someone is not rough and not quiet then they are red.
Dave is not rough.