Bob is nice. Charlie is nice. Erin is green. If someone is green then they are blue. If Bob is smart then Bob is blue. All smart people are green. If someone is white then they are rough. Kind people are nice. If Bob is green and Bob is rough then Bob is nice. All blue people are smart. If someone is nice then they are blue.
Bob is rough.