The bear chases the lion. The bear likes the dog. The bear does not like the lion. The bear needs the dog. The bear needs the lion. The dog chases the lion. The dog is not red. The dog likes the bear. The dog does not like the lion. The lion needs the dog. If the bear chases the lion then the lion chases the dog. If something chases the dog then the dog chases the bear.
The dog chases the lion.
@0: The bear chases the lion.[(triple1)] The bear does not like the lion.[(triple3)] The bear likes the dog.[(triple2)] The bear needs the dog.[(triple4)] The bear needs the lion.[(triple5)] The dog chases the lion.[(triple6)] The dog does not like the lion.[(triple9)] The dog is not red.[(triple7)] The dog likes the bear.[(triple8)] The lion needs the dog.[(triple10)] @1: The lion chases the dog.[(((triple1) -> rule1))] @2: The dog chases the bear.[(((((triple1) -> rule1)) -> rule2))]