The dog chases the tiger. The dog eats the tiger. The dog is nice. The dog needs the lion. The lion chases the tiger. The lion eats the dog. The lion is young. The tiger chases the dog. The tiger eats the lion. The tiger is blue. The tiger needs the dog. The tiger needs the lion. If the lion needs the tiger and the lion chases the dog then the tiger eats the dog. If someone chases the dog and they need the dog then the dog needs the lion. If the dog needs the tiger and the dog chases the tiger then the dog is round. If the lion eats the tiger then the lion needs the dog. If someone needs the lion then the lion chases the dog. If someone is green then they chase the dog. If someone chases the lion then they are young. Nice people are young.
The dog does not chase the dog.
@0: The dog chases the tiger.[(triple1)] The dog eats the tiger.[(triple2)] The dog is nice.[(triple3)] The dog needs the lion.[(triple4 OR ((triple8 triple11) -> rule2))] The lion chases the tiger.[(triple5)] The lion eats the dog.[(triple6)] The lion is young.[(triple7)] The tiger chases the dog.[(triple8)] The tiger eats the lion.[(triple9)] The tiger is blue.[(triple10)] The tiger needs the dog.[(triple11)] The tiger needs the lion.[(triple12)] @1: The dog is young.[(((triple3) -> rule8))] The lion chases the dog.[(((triple12) -> rule5) OR ((triple4) -> rule5) OR ((((triple8 triple11) -> rule2)) -> rule5))]