The cow likes the mouse. The cow sees the lion. The lion likes the mouse. The lion sees the mouse. The mouse is nice. The mouse sees the cow. The squirrel needs the lion. If someone needs the cow then the cow needs the lion. If someone likes the mouse then they need the cow.
The cow needs the cow.
@0: The cow likes the mouse.[(triple1)] The cow sees the lion.[(triple2)] The lion likes the mouse.[(triple3)] The lion sees the mouse.[(triple4)] The mouse is nice.[(triple5)] The mouse sees the cow.[(triple6)] The squirrel needs the lion.[(triple7)] @1: The cow needs the cow.[(((triple1) -> rule2))] The lion needs the cow.[(((triple3) -> rule2))] @2: The cow needs the lion.[(((((triple1) -> rule2)) -> rule1) OR ((((triple3) -> rule2)) -> rule1))]