The bear eats the dog. The bear is blue. The dog chases the bear. If someone eats the dog then they eat the bear. If someone eats the bear then they see the bear. If someone chases the bear then they are red. If the bear sees the dog and the bear is cold then the bear eats the dog. If someone eats the dog and they chase the bear then the bear chases the dog. If someone is young and green then they see the bear. If someone sees the dog then the dog chases the bear. If someone is young then they eat the dog.
The bear does not eat the dog.
@0: The bear eats the dog.[(triple1)] The bear is blue.[(triple2)] The dog chases the bear.[(triple3)] @1: The bear eats the bear.[(((triple1) -> rule1))] The dog is red.[(((triple3) -> rule3))] @2: The bear sees the bear.[(((((triple1) -> rule1)) -> rule2))]