The bear chases the cow. The bear is red. The bear needs the cow. The bear visits the cow. The cow chases the bear. The cow is blue. The cow is nice. The cow is young. The cow needs the bear. The cow visits the bear. If something chases the cow and it is not blue then the cow chases the bear. All blue, young things are kind. If something visits the cow then the cow visits the bear. If the bear is kind and the bear needs the cow then the cow is not young. If something chases the cow then the cow is red. If something needs the cow and the cow is nice then the cow needs the bear.
The bear chases the bear.
@0: The bear chases the cow.[(triple1)] The bear is red.[(triple2)] The bear needs the cow.[(triple3)] The bear visits the cow.[(triple4)] The cow chases the bear.[(triple5)] The cow is blue.[(triple6)] The cow is nice.[(triple7)] The cow is young.[(triple8)] The cow needs the bear.[(triple9 OR ((triple3 triple7) -> rule6))] The cow visits the bear.[(triple10 OR ((triple4) -> rule3))] @1: The cow is kind.[(((triple6 triple8) -> rule2))] The cow is red.[(((triple1) -> rule5))]