The bear eats the lion. The dog visits the tiger. The lion eats the dog. The tiger is not blue. If someone eats the lion then the lion eats the bear.
The bear does not chase the tiger.
@0: The bear eats the lion.[(triple1)] The dog visits the tiger.[(triple2)] The lion eats the dog.[(triple3)] The tiger is not blue.[(triple4)] @1: The lion eats the bear.[(((triple1) -> rule1))]