The cow is kind. The cow is red. The cow is young. If the cow is kind then the cow is big.
The cow does not eat the cow.
@0: The cow is kind.[(triple1)] The cow is red.[(triple2)] The cow is young.[(triple3)] @1: The cow is big.[(((triple1) -> rule1))]