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