Bob is big. Bob is blue. Bob is cold. Bob is smart. Bob is white. Charlie is cold. Charlie is furry. Charlie is smart. Charlie is white. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is smart. Erin is white. All cold people are green. All green people are blue. All blue, cold people are big.
Bob is not white.