Bob is cold. Bob is nice. Bob is smart. Bob is white. Bob is young. Dave is round. Dave is young. Gary is cold. Gary is red. Gary is smart. If someone is white then they are smart. All smart people are nice. Young, nice people are smart. All cold, white people are nice. All young, cold people are red. If someone is smart then they are white. Cold, white people are smart. If Dave is cold then Dave is round.
Bob is not nice.