Charlie is quiet. Gary is green. Gary is red. If someone is red then they are big.
Gary is green.
@0: Charlie is quiet.[(triple1)] Gary is green.[(triple2)] Gary is red.[(triple3)] @1: Gary is big.[(((triple3) -> rule1))]