Bob is big. Bob is kind. Bob is nice. Bob is red. Bob is smart. Bob is white. Bob is young. Charlie is kind. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. If Bob is kind then Bob is young.
Bob is not big.