The bear eats the lion. The lion is nice. If something eats the lion then the lion likes the bear. If something likes the bear then it eats the bear.
The lion is not nice.
@0: The bear eats the lion.[(triple1)] The lion is nice.[(triple2)] @1: The lion likes the bear.[(((triple1) -> rule1))] @2: The lion eats the bear.[(((((triple1) -> rule1)) -> rule2))]