Bob is green. Bob is quiet. Bob is red. Bob is white. Dave is not nice. Dave is quiet. Dave is smart. Dave is white. Gary is quiet. Gary is not round. Gary is smart. Gary is white. All smart people are red. All red, quiet people are not nice. If someone is red and smart then they are not nice.
Bob is not smart.