Bob is blue. Bob is rough. Bob is smart. Charlie is big. Charlie is blue. Charlie is green. Charlie is white. If Charlie is green and Charlie is smart then Charlie is rough. Blue things are smart.
Charlie is not smart.