Anne is kind. Dave is kind. Gary is kind. If someone is kind then they are round. If someone is green and red then they are round.
Dave is not quiet.
@0: Anne is kind.[(triple1)] Dave is kind.[(triple2)] Gary is kind.[(triple3)] @1: Anne is round.[(((triple1) -> rule1))] Dave is round.[(((triple2) -> rule1))] Gary is round.[(((triple3) -> rule1))]