Anne is nice. Bob is big. Gary is furry. Harry is nice. Nice people are blue. Blue people are nice.
Bob is not big.
@0: Anne is nice.[(triple1)] Bob is big.[(triple2)] Gary is furry.[(triple3)] Harry is nice.[(triple4)] @1: Anne is blue.[(((triple1) -> rule1))] Harry is blue.[(((triple4) -> rule1))]