Dave is kind. Dave is young. Fiona is kind. Young people are smart. Smart people are red.
Dave is smart.
@0: Dave is kind.[(triple1)] Dave is young.[(triple2)] Fiona is kind.[(triple3)] @1: Dave is smart.[(((triple2) -> rule1))] @2: Dave is red.[(((((triple2) -> rule1)) -> rule2))]