The dog sees the lion. The lion chases the dog. The lion is green. The lion is kind. The lion is round. The lion needs the dog. The lion sees the dog. If someone chases the dog then they need the lion. If someone chases the lion then the lion is round. If someone needs the dog and the dog needs the lion then the lion is kind.
The lion chases the dog.
@0: The dog sees the lion.[(triple1)] The lion chases the dog.[(triple2)] The lion is green.[(triple3)] The lion is kind.[(triple4)] The lion is round.[(triple5)] The lion needs the dog.[(triple6)] The lion sees the dog.[(triple7)] @1: The lion needs the lion.[(((triple2) -> rule1))]