Bob is round. Dave is round. Fiona is green. All green things are kind.
Fiona is green.
@0: Bob is round.[(triple1)] Dave is round.[(triple2)] Fiona is green.[(triple3)] @1: Fiona is kind.[(((triple3) -> rule1))]