The dog eats the lion. The dog is cold. The dog is nice. The lion is kind. The lion needs the dog. The tiger chases the dog. The tiger eats the dog. The tiger is kind. The tiger is nice. The tiger needs the lion. If the lion is nice then the lion eats the dog. If someone chases the tiger then they need the dog. If the lion eats the tiger and the tiger eats the dog then the lion eats the dog. If the lion needs the dog then the lion chases the tiger. If the lion is blue and the lion needs the tiger then the tiger is cold. If someone needs the dog and they need the tiger then they eat the tiger. If the dog needs the tiger and the dog is nice then the dog is kind. If someone needs the lion then they eat the tiger.
The dog is not kind.
@0: The dog eats the lion.[(triple1)] The dog is cold.[(triple2)] The dog is nice.[(triple3)] The lion is kind.[(triple4)] The lion needs the dog.[(triple5)] The tiger chases the dog.[(triple6)] The tiger eats the dog.[(triple7)] The tiger is kind.[(triple8)] The tiger is nice.[(triple9)] The tiger needs the lion.[(triple10)] @1: The lion chases the tiger.[(((triple5) -> rule4))] The tiger eats the tiger.[(((triple10) -> rule8))]