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 round.
@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))]