Charlie is red. If something is blue then it is nice. If Charlie is furry then Charlie is rough. If something is furry then it is blue. If something is rough and furry then it is white. If something is red then it is furry. Furry, rough things are nice.
Charlie is not rough.