Bob is big. Bob is cold. Bob is furry. Bob is red. Bob is rough. Bob is smart. Bob is white. Charlie is big. Charlie is cold. Charlie is furry. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Smart things are white. If something is white and smart then it is furry. Smart, cold things are white.
Charlie is big.