The cat needs the cow. The cat sees the cow. The cow sees the tiger. The cow visits the cat. The tiger is young. The tiger sees the cat. The tiger visits the cow. If someone needs the cow then they see the tiger. If the tiger needs the cat and the cat is round then the tiger visits the cow. If the cat visits the tiger then the cat visits the cow.
The tiger is big.
@0: The cat needs the cow.[(triple1)] The cat sees the cow.[(triple2)] The cow sees the tiger.[(triple3)] The cow visits the cat.[(triple4)] The tiger is young.[(triple5)] The tiger sees the cat.[(triple6)] The tiger visits the cow.[(triple7)] @1: The cat sees the tiger.[(((triple1) -> rule1))]