Anne is round. Bob is quiet. Bob is not red. Bob is rough. Bob is not round. Bob is smart. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is not smart. Charlie is young. Dave is not nice. Dave is quiet. Dave is smart. If Dave is rough and Dave is smart then Dave is red.
Dave is rough.