The cow is big. If something is cold then it is red. If the cow is big then the cow is cold. If something is red and rough then it is cold.
The cow eats the cow.
@0: The cow is big.[(triple1)] @1: The cow is cold.[(((triple1) -> rule2))] @2: The cow is red.[(((((triple1) -> rule2)) -> rule1))]