The bear is young. The cow chases the lion. The lion does not see the cow. The mouse sees the lion. If something sees the bear then the bear chases the cow. If something is green then it does not see the lion. If something chases the lion then the lion needs the bear. If the mouse chases the bear then the bear needs the lion. If something chases the mouse and the mouse does not chase the cow then the mouse is red. If something needs the cow then the cow chases the bear.
The cow does not chase the bear.
@0: The bear is young.[(triple1)] The cow chases the lion.[(triple2)] The lion does not see the cow.[(triple3)] The mouse sees the lion.[(triple4)] @1: The lion needs the bear.[(((triple2) -> rule3))]