The cow needs the lion. The lion sees the cow. If something needs the lion and it is young then the lion sees the cow. If something needs the cow then it likes the lion. If something likes the cow then it sees the lion. If something needs the cow then it likes the cow. If something likes the lion then the lion needs the cow. If something sees the cow and the cow likes the lion then the lion is green. If the cow sees the lion and the cow is nice then the lion is nice. If something sees the cow then it needs the cow.
The cow does not like the lion.
@0: The cow needs the lion.[(triple1)] The lion sees the cow.[(triple2)] @1: The lion needs the cow.[(((triple2) -> rule8))] @2: The lion likes the cow.[(((((triple2) -> rule8)) -> rule4))] The lion likes the lion.[(((((triple2) -> rule8)) -> rule2))] @3: The lion sees the lion.[(((((((triple2) -> rule8)) -> rule4)) -> rule3))]