The bear needs the dog. The dog eats the bear. The lion is red. The mouse needs the lion. If someone needs the lion then they eat the lion. If someone is round then they see the bear. If someone eats the lion then the lion eats the dog.
The bear sees the bear.
@0: The bear needs the dog.[(triple1)] The dog eats the bear.[(triple2)] The lion is red.[(triple3)] The mouse needs the lion.[(triple4)] @1: The mouse eats the lion.[(((triple4) -> rule1))] @2: The lion eats the dog.[(((((triple4) -> rule1)) -> rule3))]