Anne is blue. Bob is green. Erin is blue. Erin is red. Harry is blue. Harry is furry. Harry is green. Furry things are blue.
Bob is not blue.
@0: Anne is blue.[(triple1)] Bob is green.[(triple2)] Erin is blue.[(triple3)] Erin is red.[(triple4)] Harry is blue.[(triple5 OR ((triple6) -> rule1))] Harry is furry.[(triple6)] Harry is green.[(triple7)]