Anne is big. Anne is quiet. Anne is white. Bob is red. Bob is young. Charlie is cold. Charlie is not red. Charlie is young. Gary is cold. Gary is not quiet. All quiet things are rough. Cold things are big. Big, red things are white. All big, quiet things are white. If something is young then it is quiet. If something is white then it is quiet. Rough things are cold. All white things are rough.
Charlie is not big.