The cow chases the tiger. The tiger visits the cow. If someone chases the tiger and the tiger chases the cow then the cow chases the tiger. If someone chases the cow and the cow chases the tiger then the cow eats the tiger. If someone chases the tiger and they visit the cow then the cow eats the tiger. If the cow eats the tiger then the tiger is not cold. If the tiger does not eat the cow and the tiger does not chase the cow then the tiger is young. If someone chases the cow and the cow eats the tiger then the tiger is young. If someone visits the cow then they chase the tiger. If the tiger is young then the tiger visits the cow.
The tiger is not young.
@0: The cow chases the tiger.[(triple1)] The tiger visits the cow.[(triple2)] @1: The tiger chases the tiger.[(((triple2) -> rule7))] @2: The cow eats the tiger.[(((((triple2) -> rule7) triple2) -> rule3))] @3: The tiger is not cold.[(((((((triple2) -> rule7) triple2) -> rule3)) -> rule4))]