The cat eats the tiger. The cow visits the tiger. The tiger eats the cow. If someone visits the tiger then the tiger does not visit the cow. If someone eats the tiger and the tiger needs the cow then they visit the tiger. If the cat is rough and the cat visits the tiger then the tiger is big. If someone eats the cow and they do not need the cow then the cow eats the tiger. If someone visits the cow then the cow visits the cat. If someone needs the cat then they are big. If someone is rough then they do not need the cat. If someone visits the cow and the cow does not eat the tiger then they need the cat.
The cat eats the tiger.
@0: The cat eats the tiger.[(triple1)] The cow visits the tiger.[(triple2)] The tiger eats the cow.[(triple3)] @1: The tiger does not visit the cow.[(((triple2) -> rule1))]