The dog chases the rabbit. The dog eats the lion. The lion chases the dog. The lion chases the tiger. The rabbit chases the lion. The rabbit eats the lion. The rabbit is young. The rabbit sees the dog. The rabbit sees the lion. The tiger chases the lion. If something sees the dog and the dog chases the rabbit then the dog eats the lion. If something is kind and it chases the dog then it sees the dog. If something sees the lion and it does not eat the rabbit then the lion chases the tiger. If something eats the rabbit then the rabbit does not chase the dog. If something chases the dog and the dog eats the tiger then it chases the rabbit. If something chases the rabbit then the rabbit does not eat the dog.
The dog does not chase the rabbit.
@0: The dog chases the rabbit.[(triple1)] The dog eats the lion.[(triple2 OR ((triple8 triple1) -> rule1))] The lion chases the dog.[(triple3)] The lion chases the tiger.[(triple4)] The rabbit chases the lion.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit is young.[(triple7)] The rabbit sees the dog.[(triple8)] The rabbit sees the lion.[(triple9)] The tiger chases the lion.[(triple10)] @1: The rabbit does not eat the dog.[(((triple1) -> rule6))]