Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is red. Bob is rough. Bob is round. Charlie is big. Charlie is blue. Charlie is green. Dave is not big. Dave is blue. Dave is green. Dave is red. Dave is rough. If someone is red and not big then they are blue. If someone is green and kind then they are round.
Dave is not round.