The cow is round. If something is round then it is young. All young things are big. Kind things are round.
The cow is round.
@0: The cow is round.[(triple1)] @1: The cow is young.[(((triple1) -> rule1))] @2: The cow is big.[(((((triple1) -> rule1)) -> rule2))]