Bob is cold. Bob is green. Bob is red. Bob is white. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is round. Charlie is white. Dave is big. Dave is cold. Dave is green. Dave is quiet. Dave is red. Dave is white. All big, red things are green. If Dave is red then Dave is white. Red, green things are round.
Bob is not big.