Bob is blue. Bob is nice. Bob is smart. Bob is white. Charlie is blue. Charlie is cold. Charlie is green. Charlie is smart. Charlie is young. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is smart. Erin is white. Erin is young. If someone is green then they are young. All cold people are smart. All green people are smart. If someone is nice then they are cold. Cold, green people are nice. If someone is cold and blue then they are smart. If Charlie is green and Charlie is smart then Charlie is nice. Cold people are green.
Bob is not young.