Anne is kind. Erin is white. Harry is green. All red people are green. Green people are white.
Harry is nice.
@0: Anne is kind.[(triple1)] Erin is white.[(triple2)] Harry is green.[(triple3)] @1: Harry is white.[(((triple3) -> rule2))]