Bob is big. Bob is cold. Bob is green. Bob is red. Dave is big. Dave is cold. Dave is green. Dave is round. Dave is white. Dave is young. All young things are white. If something is white then it is big. Big things are young.
Dave is not green.