Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is not rough. Charlie is cold. Charlie is furry. Charlie is not green. Charlie is kind. Charlie is not nice. Charlie is not rough. Gary is big. Gary is kind. Gary is nice. Gary is rough. If Anne is big then Anne is green. If Anne is nice and Anne is furry then Anne is kind.
Charlie is not green.