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