The bear is kind. The bear needs the cow. The bear needs the squirrel. The cow is green. The cow needs the bear. The mouse eats the cow. The squirrel is green. If someone is green and they need the bear then they eat the squirrel. If someone is kind and they need the mouse then the mouse is green. If someone is kind then they need the cow. If the mouse visits the squirrel and the squirrel is round then the squirrel is kind. If someone visits the bear and the bear eats the cow then they visit the squirrel. If someone eats the bear and the bear needs the mouse then they need the mouse. If someone is kind then they visit the bear. If someone is kind and they visit the squirrel then the squirrel is kind.
The cow visits the mouse.
@0: The bear is kind.[(triple1)] The bear needs the cow.[(triple2 OR ((triple1) -> rule3))] The bear needs the squirrel.[(triple3)] The cow is green.[(triple4)] The cow needs the bear.[(triple5)] The mouse eats the cow.[(triple6)] The squirrel is green.[(triple7)] @1: The bear visits the bear.[(((triple1) -> rule7))] The cow eats the squirrel.[(((triple4 triple5) -> rule1))]