The cow likes the rabbit. The dog visits the lion. The lion eats the rabbit. The rabbit likes the lion. If something likes the lion then the lion eats the rabbit. If something eats the dog then it eats the rabbit. If something likes the rabbit then it is young.
The cow likes the rabbit.
@0: The cow likes the rabbit.[(triple1)] The dog visits the lion.[(triple2)] The lion eats the rabbit.[(triple3 OR ((triple4) -> rule1))] The rabbit likes the lion.[(triple4)] @1: The cow is young.[(((triple1) -> rule3))]