Charlie is round. Dave is green. Dave is not young. If something is green and not young then it is not kind.
Dave is young.
@0: Charlie is round.[(triple1)] Dave is green.[(triple2)] Dave is not young.[(triple3)] @1: Dave is not kind.[(((triple2 triple3) -> rule1))]