Anne is not nice. Anne is not smart. Bob is cold. Bob is rough. Bob is smart. Charlie is big. Charlie is cold. Charlie is not nice. Charlie is rough. Charlie is white. Gary is green. Gary is smart. Smart things are white. All rough, cold things are big. All white things are rough. Cold things are not nice. If something is rough and green then it is big. If Gary is white and Gary is not rough then Gary is green.
Gary is big.