Anne is furry. Erin is green. Gary is kind. Harry is round. If someone is round then they are green.
Gary is kind.
@0: Anne is furry.[(triple1)] Erin is green.[(triple2)] Gary is kind.[(triple3)] Harry is round.[(triple4)] @1: Harry is green.[(((triple4) -> rule1))]