Anne is blue. Erin is furry. Erin is green. Erin is red. Gary is furry. Gary is round. Harry is furry. Harry is green. Harry is quiet. Harry is red. Furry things are green.
Anne is red.
@0: Anne is blue.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3 OR ((triple2) -> rule1))] Erin is red.[(triple4)] Gary is furry.[(triple5)] Gary is round.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8 OR ((triple7) -> rule1))] Harry is quiet.[(triple9)] Harry is red.[(triple10)] @1: Gary is green.[(((triple5) -> rule1))]