The bear is nice. The cat is young. The dog chases the rabbit. The dog does not eat the rabbit. The dog is round. The rabbit chases the bear. The rabbit chases the cat. The rabbit eats the cat. The rabbit eats the dog. The rabbit is green. The rabbit is nice. The rabbit is young. The rabbit visits the bear. The rabbit visits the cat. The rabbit visits the dog. If someone chases the cat and the cat does not chase the dog then they visit the dog. If the cat chases the bear then the cat visits the dog. If the dog is young then the dog does not chase the rabbit. If the dog does not visit the cat then the dog chases the rabbit. If someone chases the dog and they are not nice then they eat the dog. If someone is young then they eat the dog. If someone chases the bear and the bear visits the rabbit then they do not chase the cat. If the rabbit chases the dog then the rabbit eats the bear.
The bear does not eat the dog.
@0: The bear is nice.[(triple1)] The cat is young.[(triple2)] The dog chases the rabbit.[(triple3)] The dog does not eat the rabbit.[(triple4)] The dog is round.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit eats the cat.[(triple8)] The rabbit eats the dog.[(triple9 OR ((triple12) -> rule6))] The rabbit is green.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is young.[(triple12)] The rabbit visits the bear.[(triple13)] The rabbit visits the cat.[(triple14)] The rabbit visits the dog.[(triple15)] @1: The cat eats the dog.[(((triple2) -> rule6))]