The cow is red. The cow likes the squirrel. The cow needs the lion. The cow needs the squirrel. The lion is nice. The lion is red. The lion likes the cow. The lion likes the squirrel. The lion needs the squirrel. The squirrel is red. The squirrel likes the cow. The squirrel likes the lion. If something likes the lion then it visits the lion. If something visits the squirrel then the squirrel visits the lion. If the squirrel visits the lion then the squirrel likes the cow.
The cow does not visit the lion.
@0: The cow is red.[(triple1)] The cow likes the squirrel.[(triple2)] The cow needs the lion.[(triple3)] The cow needs the squirrel.[(triple4)] The lion is nice.[(triple5)] The lion is red.[(triple6)] The lion likes the cow.[(triple7)] The lion likes the squirrel.[(triple8)] The lion needs the squirrel.[(triple9)] The squirrel is red.[(triple10)] The squirrel likes the cow.[(triple11 OR ((((triple12) -> rule1)) -> rule3))] The squirrel likes the lion.[(triple12)] @1: The squirrel visits the lion.[(((triple12) -> rule1))]