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.
Gary is not 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))]