The bear is cold. The bear is young. The bear needs the cow. The cow is young. The cow needs the bear. The cow needs the mouse. The mouse visits the cow. If someone is red then they need the mouse. If someone needs the cow and the cow is green then they visit the cow. If someone sees the bear and the bear needs the cow then the bear needs the mouse. If the cow visits the mouse then the cow needs the mouse. If someone needs the cow and they visit the cow then the cow sees the bear. If someone visits the cow then they need the cow.
The cow does not visit the cow.
@0: The bear is cold.[(triple1)] The bear is young.[(triple2)] The bear needs the cow.[(triple3)] The cow is young.[(triple4)] The cow needs the bear.[(triple5)] The cow needs the mouse.[(triple6)] The mouse visits the cow.[(triple7)] @1: The mouse needs the cow.[(((triple7) -> rule6))] @2: The cow sees the bear.[(((((triple7) -> rule6) triple7) -> rule5))] @3: The bear needs the mouse.[(((((((triple7) -> rule6) triple7) -> rule5) triple3) -> rule3))]