The bear likes the rabbit. The bear does not visit the dog. The cow eats the bear. The cow eats the dog. The cow is not red. The cow does not like the bear. The cow visits the bear. The cow does not visit the dog. The dog eats the bear. The dog is rough. The dog likes the bear. The dog visits the cow. The dog visits the rabbit. The rabbit is big. The rabbit is not young. The rabbit visits the dog. If something likes the dog then it does not eat the dog. If something is rough then it likes the bear. If something is red then it likes the rabbit. If the bear is big and the bear visits the cow then the bear does not like the cow. If something eats the dog and it likes the rabbit then it eats the cow. If something is young and it eats the rabbit then the rabbit visits the bear. If something visits the dog then the dog eats the cow. If the bear does not visit the dog then the bear eats the dog.
The bear eats the cow.
@0: The bear does not visit the dog.[(triple2)] The bear likes the rabbit.[(triple1)] The cow does not like the bear.[(triple6)] The cow does not visit the dog.[(triple8)] The cow eats the bear.[(triple3)] The cow eats the dog.[(triple4)] The cow is not red.[(triple5)] The cow visits the bear.[(triple7)] The dog eats the bear.[(triple9)] The dog is rough.[(triple10)] The dog likes the bear.[(triple11 OR ((triple10) -> rule2))] The dog visits the cow.[(triple12)] The dog visits the rabbit.[(triple13)] The rabbit is big.[(triple14)] The rabbit is not young.[(triple15)] The rabbit visits the dog.[(triple16)] @1: The bear eats the dog.[(((triple2) -> rule8))] The dog eats the cow.[(((triple16) -> rule7))] @2: The bear eats the cow.[(((((triple2) -> rule8) triple1) -> rule5))]