The dog chases the lion. The dog eats the lion. The dog is kind. The dog is rough. The dog is young. The dog needs the lion. The lion chases the dog. The lion eats the dog. The lion is green. The lion is rough. The lion is young. The lion needs the dog. If someone is kind then they chase the lion.
The lion needs the lion.
@0: The dog chases the lion.[(triple1 OR ((triple3) -> rule1))] The dog eats the lion.[(triple2)] The dog is kind.[(triple3)] The dog is rough.[(triple4)] The dog is young.[(triple5)] The dog needs the lion.[(triple6)] The lion chases the dog.[(triple7)] The lion eats the dog.[(triple8)] The lion is green.[(triple9)] The lion is rough.[(triple10)] The lion is young.[(triple11)] The lion needs the dog.[(triple12)]