The bear sees the tiger. The dog likes the tiger. The tiger sees the dog. If someone likes the tiger and the tiger eats the dog then the dog likes the tiger. If someone eats the bear then the bear likes the tiger. If someone likes the tiger then they eat the bear.
The dog eats the bear.
@0: The bear sees the tiger.[(triple1)] The dog likes the tiger.[(triple2)] The tiger sees the dog.[(triple3)] @1: The dog eats the bear.[(((triple2) -> rule3))] @2: The bear likes the tiger.[(((((triple2) -> rule3)) -> rule2))] @3: The bear eats the bear.[(((((((triple2) -> rule3)) -> rule2)) -> rule3))]