Anne is green. Erin is smart. Gary is kind. Harry is smart. All green things are blue.
Anne is green.
@0: Anne is green.[(triple1)] Erin is smart.[(triple2)] Gary is kind.[(triple3)] Harry is smart.[(triple4)] @1: Anne is blue.[(((triple1) -> rule1))]