The dog chases the lion. The dog is green. The dog is round. The dog needs the lion. The lion is big. The lion sees the dog. The rabbit chases the dog. The rabbit needs the dog. The rabbit sees the dog. The rabbit sees the lion. If something needs the dog and it needs the lion then the lion needs the dog. If something needs the dog and the dog is big then the dog chases the lion. If something chases the lion then it sees the rabbit. If something chases the rabbit and it is round then the rabbit sees the lion. If the lion sees the rabbit then the lion is cold. If something needs the lion and it is big then it chases the dog.
The dog does not chase the dog.
@0: The dog chases the lion.[(triple1)] The dog is green.[(triple2)] The dog is round.[(triple3)] The dog needs the lion.[(triple4)] The lion is big.[(triple5)] The lion sees the dog.[(triple6)] The rabbit chases the dog.[(triple7)] The rabbit needs the dog.[(triple8)] The rabbit sees the dog.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The dog sees the rabbit.[(((triple1) -> rule3))]