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 does not eat the cow.
@0: The cow is round.[(triple1)] @1: The cow is rough.[(((triple1) -> rule1))] @2: The cow is cold.[(((((triple1) -> rule1) triple1) -> rule2))]