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