The bear sees the cat. The cat sees the cow. The cow likes the cat. The dog likes the cow. If something sees the dog and the dog likes the bear then the bear is young. If something needs the cow then it likes the bear. If something likes the bear and it is big then the bear sees the cat. If something sees the cow then the cow needs the dog. If something likes the dog then it is big. If the cow needs the dog then the dog needs the cow.
The cat is not young.
@0: The bear sees the cat.[(triple1)] The cat sees the cow.[(triple2)] The cow likes the cat.[(triple3)] The dog likes the cow.[(triple4)] @1: The cow needs the dog.[(((triple2) -> rule4))] @2: The dog needs the cow.[(((((triple2) -> rule4)) -> rule6))] @3: The dog likes the bear.[(((((((triple2) -> rule4)) -> rule6)) -> rule2))]