Anne is round. Bob is blue. Charlie is quiet. Gary is blue. If something is blue then it is rough.
Anne is rough.
@0: Anne is round.[(triple1)] Bob is blue.[(triple2)] Charlie is quiet.[(triple3)] Gary is blue.[(triple4)] @1: Bob is rough.[(((triple2) -> rule1))] Gary is rough.[(((triple4) -> rule1))]