Bob is big. Bob is green. Bob is kind. Charlie is big. Charlie is cold. Charlie is green. Charlie is white. Dave is big. Dave is round. Gary is white. If something is round then it is white. Green, white things are red.
Bob is big.