Anne is cold. Anne is nice. Anne is round. Anne is white. Bob is white. Charlie is smart. Gary is nice. Green, nice people are white. If someone is smart then they are green. All big people are nice. If someone is white then they are smart. All cold people are nice. Round people are nice. If someone is green then they are big. All white people are cold. If Bob is cold then Bob is big.
Bob is not smart.