The cow is blue. The cow is cold. The cow is not young. If the cow is blue then the cow is not young.
The cow needs the cow.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is not young.[(triple3 OR ((triple1) -> rule1))]