The cow eats the tiger. The cow is kind. The cow is young. The cow needs the tiger. The cow sees the tiger. The tiger needs the cow. The tiger sees the cow. If someone eats the tiger then they see the cow.
The tiger does not need the tiger.
@0: The cow eats the tiger.[(triple1)] The cow is kind.[(triple2)] The cow is young.[(triple3)] The cow needs the tiger.[(triple4)] The cow sees the tiger.[(triple5)] The tiger needs the cow.[(triple6)] The tiger sees the cow.[(triple7)] @1: The cow sees the cow.[(((triple1) -> rule1))]