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