Anne is red. Charlie is kind. Harry is kind. If Charlie is kind then Charlie is not blue. If something is kind and not blue then it is nice.
Charlie is not blue.
@0: Anne is red.[(triple1)] Charlie is kind.[(triple2)] Harry is kind.[(triple3)] @1: Charlie is not blue.[(((triple2) -> rule1))] @2: Charlie is nice.[(((triple2 ((triple2) -> rule1)) -> rule2))]