Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is white. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. If Bob is quiet and Bob is white then Bob is round.
Bob is not green.