Bob is big. Bob is green. Bob is rough. Bob is not white. Bob is young. Charlie is big. Charlie is rough. Charlie is young. Dave is not blue. Dave is quiet. Dave is rough. Dave is not white. Gary is blue. Gary is not rough. Gary is young. If Dave is not big then Dave is green.
Gary is not quiet.