Charlie is red. Fiona is big. If something is kind then it is young. Big things are kind.
Fiona is big.
@0: Charlie is red.[(triple1)] Fiona is big.[(triple2)] @1: Fiona is kind.[(((triple2) -> rule2))] @2: Fiona is young.[(((((triple2) -> rule2)) -> rule1))]