The cow chases the tiger. The cow visits the tiger. The tiger is kind. If the cow visits the tiger then the tiger visits the cow. If something visits the cow then the cow is red.
The tiger visits the cow.
@0: The cow chases the tiger.[(triple1)] The cow visits the tiger.[(triple2)] The tiger is kind.[(triple3)] @1: The tiger visits the cow.[(((triple2) -> rule1))] @2: The cow is red.[(((((triple2) -> rule1)) -> rule2))]