The bear eats the dog. The bear likes the dog. The dog eats the bear. If someone sees the dog then they eat the dog. If someone likes the bear and they are big then they see the bear. If someone likes the dog then the dog sees the bear. If someone is blue and they like the dog then the dog likes the bear. If someone likes the bear then the bear is blue. If the dog is rough and the dog likes the bear then the dog eats the bear.
The dog is blue.
@0: The bear eats the dog.[(triple1)] The bear likes the dog.[(triple2)] The dog eats the bear.[(triple3)] @1: The dog sees the bear.[(((triple2) -> rule3))]