The dog eats the lion. The dog needs the lion. The dog needs the tiger. The lion is round. The lion sees the dog. The lion sees the tiger. The tiger eats the dog. The tiger eats the lion. The tiger is green. The tiger is kind. The tiger is nice. The tiger is round. The tiger needs the dog. The tiger needs the lion. The tiger sees the dog. The tiger sees the lion. If the lion eats the tiger and the tiger needs the dog then the tiger is nice. If something is green then it needs the lion. If something eats the dog then it is green. If the tiger is young then the tiger needs the lion. If the lion is round and the lion is kind then the lion eats the dog. If something is round then it eats the dog. If something is nice then it needs the dog. If the lion needs the tiger and the lion is nice then the lion eats the dog.
The lion does not need the lion.
@0: The dog eats the lion.[(triple1)] The dog needs the lion.[(triple2)] The dog needs the tiger.[(triple3)] The lion is round.[(triple4)] The lion sees the dog.[(triple5)] The lion sees the tiger.[(triple6)] The tiger eats the dog.[(triple7 OR ((triple12) -> rule6))] The tiger eats the lion.[(triple8)] The tiger is green.[(triple9 OR ((triple7) -> rule3) OR ((((triple12) -> rule6)) -> rule3))] The tiger is kind.[(triple10)] The tiger is nice.[(triple11)] The tiger is round.[(triple12)] The tiger needs the dog.[(triple13 OR ((triple11) -> rule7))] The tiger needs the lion.[(triple14 OR ((triple9) -> rule2) OR ((((triple7) -> rule3)) -> rule2) OR ((((((triple12) -> rule6)) -> rule3)) -> rule2))] The tiger sees the dog.[(triple15)] The tiger sees the lion.[(triple16)] @1: The lion eats the dog.[(((triple4) -> rule6))] @2: The lion is green.[(((((triple4) -> rule6)) -> rule3))] @3: The lion needs the lion.[(((((((triple4) -> rule6)) -> rule3)) -> rule2))]