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.
Harry is not nice.
@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))]