Anne is not kind. Dave is round. Fiona is not white. All kind people are not quiet. All round people are not green.
Fiona is green.
@0: Anne is not kind.[(triple1)] Dave is round.[(triple2)] Fiona is not white.[(triple3)] @1: Dave is not green.[(((triple2) -> rule2))]