Bob is blue. Erin is green. Gary is big. Harry is cold. If someone is big then they are blue.
Gary is blue.
@0: Bob is blue.[(triple1)] Erin is green.[(triple2)] Gary is big.[(triple3)] Harry is cold.[(triple4)] @1: Gary is blue.[(((triple3) -> rule1))]