Charlie is green. Charlie is kind. Dave is blue. Green people are round. All round people are red.
Dave is not round.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Dave is blue.[(triple3)] @1: Charlie is round.[(((triple1) -> rule1))] @2: Charlie is red.[(((((triple1) -> rule1)) -> rule2))]