The cow likes the lion. The dog is young. The lion sees the dog. The mouse sees the cow. If something likes the mouse and the mouse eats the cow then the mouse likes the dog. If something likes the dog and it is rough then the dog eats the lion. If something sees the dog then the dog sees the cow.
The cow is not young.
@0: The cow likes the lion.[(triple1)] The dog is young.[(triple2)] The lion sees the dog.[(triple3)] The mouse sees the cow.[(triple4)] @1: The dog sees the cow.[(((triple3) -> rule3))]