Charlie is not blue. If Charlie is blue then Charlie is kind. If Charlie is red and Charlie is furry then Charlie is blue. If Charlie is kind then Charlie is furry. If Charlie is blue and Charlie is not furry then Charlie is not green. If something is blue and not furry then it is green. If something is red and not kind then it is nice.
Charlie is not furry.
@0: Charlie is not blue.[(triple1)]