The bear needs the lion. The cat is cold. The lion eats the bear. The tiger needs the cat. If someone eats the lion then the lion is nice. If someone needs the lion and the lion is kind then the lion visits the bear. If someone needs the lion then they are kind. If the bear is kind then the bear eats the lion. If someone is kind and young then they eat the lion. If someone is kind then they eat the tiger. If someone visits the bear and they eat the lion then they are nice. If the cat visits the bear and the cat needs the tiger then the bear eats the tiger.
The bear does not eat the tiger.
@0: The bear needs the lion.[(triple1)] The cat is cold.[(triple2)] The lion eats the bear.[(triple3)] The tiger needs the cat.[(triple4)] @1: The bear is kind.[(((triple1) -> rule3))] @2: The bear eats the lion.[(((((triple1) -> rule3)) -> rule4))] The bear eats the tiger.[(((((triple1) -> rule3)) -> rule6))] @3: The lion is nice.[(((((((triple1) -> rule3)) -> rule4)) -> rule1))]