Dave is round. Fiona is big. Harry is rough. All round people are young. All smart people are furry. All young people are rough.
Harry is round.
@0: Dave is round.[(triple1)] Fiona is big.[(triple2)] Harry is rough.[(triple3)] @1: Dave is young.[(((triple1) -> rule1))] @2: Dave is rough.[(((((triple1) -> rule1)) -> rule3))]