The cow is young. The cow does not see the tiger. The tiger visits the cow. If someone is young then they see the cow.
The tiger is green.
@0: The cow does not see the tiger.[(triple2)] The cow is young.[(triple1)] The tiger visits the cow.[(triple3)] @1: The cow sees the cow.[(((triple1) -> rule1))]