Anne is rough. Anne is white. Bob is kind. Bob is young. Charlie is blue. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is not white. Erin is blue. Erin is kind. Erin is smart. If something is young then it is rough. If Anne is big and Anne is not blue then Anne is smart. If something is kind and white then it is big. If something is rough and big then it is not white. All young, smart things are white. If something is young and not kind then it is rough. All smart, white things are rough. If something is young and not blue then it is not big.
Charlie is smart.