Bob is blue. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is young. Dave is blue. Dave is nice. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is young. If something is smart and red then it is young. If Bob is smart then Bob is rough. All red things are rough. If something is red and smart then it is blue. If Dave is rough and Dave is red then Dave is nice. Blue things are round.
Dave is not round.