The bear is big. The cow likes the lion. The lion is nice. If someone is nice and they see the bear then they see the cow. If someone likes the lion then they see the bear. If the bear sees the cow then the cow eats the lion. If someone eats the lion and they are kind then they like the cow. If someone likes the bear then the bear is nice. If someone eats the bear and the bear likes the cow then the bear is big.
The lion likes the lion.
@0: The bear is big.[(triple1)] The cow likes the lion.[(triple2)] The lion is nice.[(triple3)] @1: The cow sees the bear.[(((triple2) -> rule2))]