The cow is round. All round, young people are cold. If the cow is round then the cow is young. If the cow is rough and the cow is cold then the cow is young.
The cow does not chase the cow.
@0: The cow is round.[(triple1)] @1: The cow is young.[(((triple1) -> rule2))] @2: The cow is cold.[(((triple1 ((triple1) -> rule2)) -> rule1))]