The cow chases the dog. The cow visits the rabbit. The dog chases the cow. The dog chases the lion. The dog eats the lion. The dog is big. The dog visits the cow. The dog visits the rabbit. The lion chases the dog. The lion does not eat the dog. The lion visits the dog. The rabbit does not chase the cow. The rabbit eats the lion. The rabbit is kind. The rabbit visits the cow. If something eats the rabbit and the rabbit eats the dog then the dog does not eat the rabbit. If something visits the dog then the dog chases the cow. If something eats the rabbit then the rabbit eats the dog. If something is young and it chases the lion then the lion eats the rabbit. If something chases the lion then the lion eats the rabbit. If something eats the rabbit and the rabbit eats the cow then the cow is red.
The dog does not chase the lion.
@0: The cow chases the dog.[(triple1)] The cow visits the rabbit.[(triple2)] The dog chases the cow.[(triple3 OR ((triple11) -> rule2))] The dog chases the lion.[(triple4)] The dog eats the lion.[(triple5)] The dog is big.[(triple6)] The dog visits the cow.[(triple7)] The dog visits the rabbit.[(triple8)] The lion chases the dog.[(triple9)] The lion does not eat the dog.[(triple10)] The lion visits the dog.[(triple11)] The rabbit does not chase the cow.[(triple12)] The rabbit eats the lion.[(triple13)] The rabbit is kind.[(triple14)] The rabbit visits the cow.[(triple15)] @1: The lion eats the rabbit.[(((triple4) -> rule5))] @2: The rabbit eats the dog.[(((((triple4) -> rule5)) -> rule3))] @3: The dog does not eat the rabbit.[(((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule3)) -> rule1))]