The cow is round. If the cow is round then the cow is rough. If someone is rough and round then they are cold.
The cow is round.
@0: The cow is round.[(triple1)] @1: The cow is rough.[(((triple1) -> rule1))] @2: The cow is cold.[(((((triple1) -> rule1) triple1) -> rule2))]