The cow is kind. If someone is big and kind then they are young. Kind people are big.
The cow is big.
@0: The cow is kind.[(triple1)] @1: The cow is big.[(((triple1) -> rule2))] @2: The cow is young.[(((((triple1) -> rule2) triple1) -> rule1))]