Bob is green. Charlie is kind. If something is round then it is blue. If Charlie is kind then Charlie is round.
Charlie is kind.
@0: Bob is green.[(triple1)] Charlie is kind.[(triple2)] @1: Charlie is round.[(((triple2) -> rule2))] @2: Charlie is blue.[(((((triple2) -> rule2)) -> rule1))]