The cow is young. The dog eats the lion. The lion eats the dog. The rabbit does not see the cow. If the dog likes the rabbit then the dog is young. If someone eats the lion and the lion eats the dog then they are nice. If someone is nice then they like the rabbit. If someone likes the lion then they like the cow. If someone likes the lion and they do not eat the rabbit then the lion does not see the dog. If someone likes the rabbit then the rabbit sees the lion.
The dog does not eat the cow.
@0: The cow is young.[(triple1)] The dog eats the lion.[(triple2)] The lion eats the dog.[(triple3)] The rabbit does not see the cow.[(triple4)] @1: The dog is nice.[(((triple2 triple3) -> rule2))] @2: The dog likes the rabbit.[(((((triple2 triple3) -> rule2)) -> rule3))] @3: The dog is young.[(((((((triple2 triple3) -> rule2)) -> rule3)) -> rule1))] The rabbit sees the lion.[(((((((triple2 triple3) -> rule2)) -> rule3)) -> rule6))]