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 does not see the cow.
@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))]