Anne is green. Charlie is blue. Fiona is nice. Harry is blue. If someone is nice then they are kind. If someone is blue then they are green. Kind, rough people are blue.
Charlie is blue.
@0: Anne is green.[(triple1)] Charlie is blue.[(triple2)] Fiona is nice.[(triple3)] Harry is blue.[(triple4)] @1: Charlie is green.[(((triple2) -> rule2))] Fiona is kind.[(((triple3) -> rule1))] Harry is green.[(((triple4) -> rule2))]