The cow eats the lion. The cow is rough. The cow likes the squirrel. The cow needs the squirrel. The lion eats the cow. The lion likes the cow. The lion needs the squirrel. The squirrel eats the cow. The squirrel is round. The squirrel likes the lion. If someone eats the lion then the lion is green. If someone is round then they eat the lion. Green people are round.
The squirrel does not need the lion.
@0: The cow eats the lion.[(triple1)] The cow is rough.[(triple2)] The cow likes the squirrel.[(triple3)] The cow needs the squirrel.[(triple4)] The lion eats the cow.[(triple5)] The lion likes the cow.[(triple6)] The lion needs the squirrel.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the lion.[(triple10)] @1: The lion is green.[(((triple1) -> rule1) OR ((((triple9) -> rule2)) -> rule1))] The squirrel eats the lion.[(((triple9) -> rule2))] @2: The lion is round.[(((((triple1) -> rule1)) -> rule3) OR ((((((triple9) -> rule2)) -> rule1)) -> rule3))] @3: The lion eats the lion.[(((((((triple1) -> rule1)) -> rule3)) -> rule2) OR ((((((((triple9) -> rule2)) -> rule1)) -> rule3)) -> rule2))]