The dog likes the lion. The lion needs the dog. If something likes the dog then it is cold. If the dog likes the lion and the dog sees the lion then the dog needs the lion. If something likes the lion and it needs the lion then the lion is green. If something needs the lion and it sees the lion then the lion likes the dog. If the lion needs the dog then the lion sees the dog. If the lion sees the dog and the dog likes the lion then the dog needs the lion.
The dog likes the lion.
@0: The dog likes the lion.[(triple1)] The lion needs the dog.[(triple2)] @1: The lion sees the dog.[(((triple2) -> rule5))] @2: The dog needs the lion.[(((((triple2) -> rule5) triple1) -> rule6))] @3: The lion is green.[(((triple1 ((((triple2) -> rule5) triple1) -> rule6)) -> rule3))]