The dog eats the lion. The dog is cold. The dog is green. The dog is nice. The dog is red. The dog is young. The dog needs the lion. The dog visits the lion. The lion eats the dog. The lion is cold. The lion is green. The lion is nice. The lion is red. The lion is young. The lion needs the dog. The lion visits the dog. If someone eats the lion then they eat the dog. If someone needs the dog and they are green then the dog is green.
The dog needs the dog.
@0: The dog eats the lion.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3 OR ((triple15 triple11) -> rule2))] The dog is nice.[(triple4)] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog needs the lion.[(triple7)] The dog visits the lion.[(triple8)] The lion eats the dog.[(triple9)] The lion is cold.[(triple10)] The lion is green.[(triple11)] The lion is nice.[(triple12)] The lion is red.[(triple13)] The lion is young.[(triple14)] The lion needs the dog.[(triple15)] The lion visits the dog.[(triple16)] @1: The dog eats the dog.[(((triple1) -> rule1))]