The cow is blue. The cow is round. The cow is young. If the cow is blue then the cow is green. If the cow is round and the cow is green then the cow is blue.
The cow is kind.
@0: The cow is blue.[(triple1)] The cow is round.[(triple2)] The cow is young.[(triple3)] @1: The cow is green.[(((triple1) -> rule1))]