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