The bear eats the lion. The bear likes the lion. The lion eats the bear. If something eats the lion and it is round then it is blue. If the bear is big and the bear likes the lion then the lion is blue. If the bear likes the lion then the bear needs the lion.
The lion is green.
@0: The bear eats the lion.[(triple1)] The bear likes the lion.[(triple2)] The lion eats the bear.[(triple3)] @1: The bear needs the lion.[(((triple2) -> rule3))]