Anne is kind. Charlie is not red. Harry is young. All white things are kind. If something is young then it is kind. If something is white and not red then it is furry. All white things are furry. All white, rough things are not furry. All furry things are not rough. Red things are rough. If something is rough and kind then it is white.
Charlie is not white.
@0: Anne is kind.[(triple1)] Charlie is not red.[(triple2)] Harry is young.[(triple3)] @1: Harry is kind.[(((triple3) -> rule2))]