Bob is red. Charlie is green. Erin is not rough. Fiona is not big. If Charlie is white and Charlie is green then Charlie is not rough. If Bob is white then Bob is big. If someone is smart and not rough then they are not white. All red people are smart. If someone is not smart then they are green. If someone is not smart then they are kind. If Charlie is kind and Charlie is not smart then Charlie is white. If someone is green and not kind then they are red.
Bob is white.