The dog eats the lion. The dog is kind. The dog is nice. The dog is young. The dog needs the lion. The dog sees the lion. The lion eats the dog. If someone is young then they eat the dog. If the dog needs the lion and the dog eats the lion then the lion is young. If someone needs the lion then the lion sees the dog.
The lion is kind.
@0: The dog eats the lion.[(triple1)] The dog is kind.[(triple2)] The dog is nice.[(triple3)] The dog is young.[(triple4)] The dog needs the lion.[(triple5)] The dog sees the lion.[(triple6)] The lion eats the dog.[(triple7 OR ((((triple5 triple1) -> rule2)) -> rule1))] @1: The dog eats the dog.[(((triple4) -> rule1))] The lion is young.[(((triple5 triple1) -> rule2))] The lion sees the dog.[(((triple5) -> rule3))]