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