The dog chases the rabbit. The dog is big. The dog is red. The dog likes the rabbit. The lion chases the rabbit. The lion eats the dog. The lion is blue. The lion is red. The lion likes the dog. The rabbit chases the dog. The rabbit chases the lion. The rabbit eats the dog. The rabbit eats the lion. The rabbit is blue. The rabbit likes the dog. The rabbit likes the lion. If something is big then it eats the lion.
The dog chases the lion.
@0: The dog chases the rabbit.[(triple1)] The dog is big.[(triple2)] The dog is red.[(triple3)] The dog likes the rabbit.[(triple4)] The lion chases the rabbit.[(triple5)] The lion eats the dog.[(triple6)] The lion is blue.[(triple7)] The lion is red.[(triple8)] The lion likes the dog.[(triple9)] The rabbit chases the dog.[(triple10)] The rabbit chases the lion.[(triple11)] The rabbit eats the dog.[(triple12)] The rabbit eats the lion.[(triple13)] The rabbit is blue.[(triple14)] The rabbit likes the dog.[(triple15)] The rabbit likes the lion.[(triple16)] @1: The dog eats the lion.[(((triple2) -> rule1))]