Anne is cold. Anne is green. Anne is kind. Anne is round. Anne is smart. Anne is white. Charlie is cold. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. If Charlie is white then Charlie is rough. If Charlie is kind and Charlie is cold then Charlie is white. If Charlie is rough then Charlie is smart. If Anne is white and Anne is cold then Anne is round. If Anne is rough and Anne is cold then Anne is round. All green, white things are kind.
Anne is not rough.