The dog chases the lion. The dog eats the lion. The dog is blue. The dog is cold. The dog is round. The dog is young. The dog needs the lion. The lion chases the dog. The lion eats the dog. The lion is blue. The lion is cold. The lion is red. The lion is round. The lion is young. The lion needs the dog. If something chases the dog and the dog eats the lion then the lion needs the dog. If something eats the lion and it is young then it chases the lion. If something is blue then it chases the lion.
The dog needs the dog.
@0: The dog chases the lion.[(triple1 OR ((triple3) -> rule3) OR ((triple2 triple6) -> rule2))] The dog eats the lion.[(triple2)] The dog is blue.[(triple3)] The dog is cold.[(triple4)] The dog is round.[(triple5)] The dog is young.[(triple6)] The dog needs the lion.[(triple7)] The lion chases the dog.[(triple8)] The lion eats the dog.[(triple9)] The lion is blue.[(triple10)] The lion is cold.[(triple11)] The lion is red.[(triple12)] The lion is round.[(triple13)] The lion is young.[(triple14)] The lion needs the dog.[(triple15 OR ((triple8 triple2) -> rule1))] @1: The lion chases the lion.[(((triple10) -> rule3))]