The bear chases the cow. The bear chases the dog. The bear eats the dog. The bear is kind. The cow chases the bear. The cow chases the dog. The cow does not eat the dog. The cow is green. The cow is kind. The cow is nice. The cow is not young. The cow needs the bear. The dog eats the cow. The dog is not cold. The dog is nice. The dog does not need the cow. If someone needs the cow and they are nice then the cow eats the dog. If the cow is nice then the cow needs the dog. If someone is green and they eat the dog then the dog does not eat the cow. If someone eats the cow then they need the dog. If someone needs the bear then the bear is kind. If someone chases the cow then they do not need the cow. If someone needs the dog then the dog does not chase the bear. If someone needs the dog then they need the bear.
The bear is nice.
@0: The bear chases the cow.[(triple1)] The bear chases the dog.[(triple2)] The bear eats the dog.[(triple3)] The bear is kind.[(triple4 OR ((triple12) -> rule5) OR ((((((triple10) -> rule2)) -> rule8)) -> rule5) OR ((((((triple13) -> rule4)) -> rule8)) -> rule5))] The cow chases the bear.[(triple5)] The cow chases the dog.[(triple6)] The cow does not eat the dog.[(triple7)] The cow is green.[(triple8)] The cow is kind.[(triple9)] The cow is nice.[(triple10)] The cow is not young.[(triple11)] The cow needs the bear.[(triple12 OR ((((triple10) -> rule2)) -> rule8))] The dog does not need the cow.[(triple16)] The dog eats the cow.[(triple13)] The dog is nice.[(triple15)] The dog is not cold.[(triple14)] @1: The bear does not need the cow.[(((triple1) -> rule6))] The cow needs the dog.[(((triple10) -> rule2))] The dog needs the dog.[(((triple13) -> rule4))] @2: The dog does not chase the bear.[(((((triple10) -> rule2)) -> rule7) OR ((((triple13) -> rule4)) -> rule7))] The dog needs the bear.[(((((triple13) -> rule4)) -> rule8))]