The bear chases the mouse. The bear is kind. The bear is red. The cow does not chase the bear. The cow does not eat the bear. The cow eats the dog. The cow eats the mouse. The cow is green. The cow does not need the bear. The dog chases the cow. The mouse eats the cow. The mouse needs the cow. All red things are kind. If something needs the cow and the cow is green then it is kind. If something needs the mouse and the mouse chases the cow then the mouse is red.
The cow chases the bear.
@0: The bear chases the mouse.[(triple1)] The bear is kind.[(triple2 OR ((triple3) -> rule1))] The bear is red.[(triple3)] The cow does not chase the bear.[(triple4)] The cow does not eat the bear.[(triple5)] The cow does not need the bear.[(triple9)] The cow eats the dog.[(triple6)] The cow eats the mouse.[(triple7)] The cow is green.[(triple8)] The dog chases the cow.[(triple10)] The mouse eats the cow.[(triple11)] The mouse needs the cow.[(triple12)] @1: The mouse is kind.[(((triple12 triple8) -> rule2))]