The bear sees the lion. The cow is rough. The dog is round. The lion chases the dog. The lion eats the cow. The lion is red. The lion is rough. If someone is nice and they see the bear then they chase the bear. If someone is red then they eat the bear. If the lion chases the dog then the lion chases the cow. If someone chases the dog and they see the dog then the dog is round. If someone sees the lion and they see the dog then the dog chases the cow. If someone eats the bear and the bear chases the lion then the bear eats the lion.
The bear sees the lion.
@0: The bear sees the lion.[(triple1)] The cow is rough.[(triple2)] The dog is round.[(triple3)] The lion chases the dog.[(triple4)] The lion eats the cow.[(triple5)] The lion is red.[(triple6)] The lion is rough.[(triple7)] @1: The lion chases the cow.[(((triple4) -> rule3))] The lion eats the bear.[(((triple6) -> rule2))]