Anne is furry. Erin is nice. Gary is smart. Harry is smart. Smart people are blue. All nice, quiet people are kind. Nice people are blue.
Anne is not kind.
@0: Anne is furry.[(triple1)] Erin is nice.[(triple2)] Gary is smart.[(triple3)] Harry is smart.[(triple4)] @1: Erin is blue.[(((triple2) -> rule3))] Gary is blue.[(((triple3) -> rule1))] Harry is blue.[(((triple4) -> rule1))]