The cow is not big. The dog chases the tiger. The rabbit sees the tiger. The tiger sees the cow. If something sees the tiger then the tiger likes the dog. If the rabbit likes the cow then the rabbit is young.
The cow chases the tiger.
@0: The cow is not big.[(triple1)] The dog chases the tiger.[(triple2)] The rabbit sees the tiger.[(triple3)] The tiger sees the cow.[(triple4)] @1: The tiger likes the dog.[(((triple3) -> rule1))]