The cow is big. The cow is cold. The cow is rough. If the cow is big then the cow is green.
The cow is rough.
@0: The cow is big.[(triple1)] The cow is cold.[(triple2)] The cow is rough.[(triple3)] @1: The cow is green.[(((triple1) -> rule1))]