The bear chases the cow. The cow is nice. The dog chases the tiger. The tiger is kind. If the tiger sees the bear then the tiger is rough. If someone is nice then they are young. If the cow visits the tiger and the cow chases the dog then the cow sees the tiger. If someone chases the dog then they visit the cow. If someone visits the dog and they are rough then the dog visits the cow. If someone is young then they chase the tiger.
The bear chases the cow.
@0: The bear chases the cow.[(triple1)] The cow is nice.[(triple2)] The dog chases the tiger.[(triple3)] The tiger is kind.[(triple4)] @1: The cow is young.[(((triple2) -> rule2))] @2: The cow chases the tiger.[(((((triple2) -> rule2)) -> rule6))]