The bear does not eat the cat. The bear eats the mouse. The cat chases the cow. The cat eats the mouse. The cat visits the cow. The cow chases the bear. The cow eats the cat. The cow is kind. The cow does not visit the bear. The cow visits the mouse. The mouse chases the cow. The mouse is blue. If something is blue and not kind then it visits the bear. If something is blue and it visits the mouse then it does not eat the bear. If something is rough and it chases the mouse then the mouse is not big. If something eats the cat then it chases the cat. If something chases the cat then it is blue. If something visits the bear and it does not eat the cat then the bear visits the cat. If the cow is nice and the cow does not chase the cat then the cow chases the bear. If something eats the mouse and it chases the bear then the mouse does not visit the bear.
The mouse visits the bear.
@0: The bear does not eat the cat.[(triple1)] The bear eats the mouse.[(triple2)] The cat chases the cow.[(triple3)] The cat eats the mouse.[(triple4)] The cat visits the cow.[(triple5)] The cow chases the bear.[(triple6)] The cow does not visit the bear.[(triple9)] The cow eats the cat.[(triple7)] The cow is kind.[(triple8)] The cow visits the mouse.[(triple10)] The mouse chases the cow.[(triple11)] The mouse is blue.[(triple12)] @1: The cow chases the cat.[(((triple7) -> rule4))] @2: The cow is blue.[(((((triple7) -> rule4)) -> rule5))] @3: The cow does not eat the bear.[(((((((triple7) -> rule4)) -> rule5) triple10) -> rule2))]