The bear is kind. The cat needs the bear. If someone is young then they need the bear. If someone eats the cat then they are young. If someone is kind then they eat the cat. If someone needs the bear and they like the cat then the bear is kind. If someone likes the cat then they eat the cat. If the bear is young then the bear eats the cat.
The bear is not young.
@0: The bear is kind.[(triple1)] The cat needs the bear.[(triple2)] @1: The bear eats the cat.[(((triple1) -> rule3))] @2: The bear is young.[(((((triple1) -> rule3)) -> rule2))] @3: The bear needs the bear.[(((((((triple1) -> rule3)) -> rule2)) -> rule1))]