The dog eats the lion. The dog eats the tiger. The dog is blue. The dog likes the tiger. The lion eats the dog. The lion is cold. The lion is nice. The lion likes the dog. The lion needs the dog. The tiger does not eat the dog. The tiger eats the lion. The tiger is not blue. The tiger is nice. The tiger likes the dog. The tiger likes the lion. The tiger needs the lion. If something needs the dog then it eats the lion. If something needs the lion then it eats the lion. If something is nice and it eats the dog then the dog is blue. If something eats the lion then the lion is green. If something likes the dog then the dog likes the tiger. If something likes the lion then the lion needs the dog. If something is cold and it likes the tiger then it is green. If the tiger needs the dog and the dog does not need the lion then the dog is nice.
The lion needs the dog.
@0: The dog eats the lion.[(triple1)] The dog eats the tiger.[(triple2)] The dog is blue.[(triple3 OR ((triple7 triple5) -> rule3))] The dog likes the tiger.[(triple4 OR ((triple14) -> rule5) OR ((triple8) -> rule5))] The lion eats the dog.[(triple5)] The lion is cold.[(triple6)] The lion is nice.[(triple7)] The lion likes the dog.[(triple8)] The lion needs the dog.[(triple9 OR ((triple15) -> rule6))] The tiger does not eat the dog.[(triple10)] The tiger eats the lion.[(triple11 OR ((triple16) -> rule2))] The tiger is nice.[(triple13)] The tiger is not blue.[(triple12)] The tiger likes the dog.[(triple14)] The tiger likes the lion.[(triple15)] The tiger needs the lion.[(triple16)] @1: The lion eats the lion.[(((triple9) -> rule1) OR ((((triple15) -> rule6)) -> rule1))] The lion is green.[(((triple1) -> rule4) OR ((triple11) -> rule4) OR ((((triple16) -> rule2)) -> rule4) OR ((((triple9) -> rule1)) -> rule4) OR ((((((triple15) -> rule6)) -> rule1)) -> rule4))]