Anne is blue. Anne is rough. Bob is quiet. Bob is smart. Charlie is quiet. Charlie is white. Gary is quiet. Gary is rough. Gary is smart. Gary is white. Quiet things are round. If Charlie is rough and Charlie is white then Charlie is smart. All quiet, blue things are rough. If something is round then it is blue. If something is kind and rough then it is blue. All smart things are rough. If something is rough and blue then it is quiet. If something is quiet then it is blue.
Charlie is quiet.