The cow eats the lion. The cow eats the squirrel. The cow needs the lion. The cow visits the lion. The lion eats the cow. The lion is blue. The lion is young. The lion needs the squirrel. The lion visits the cow. The squirrel needs the cow. If someone needs the lion then they eat the squirrel. If someone is rough and they eat the cow then they need the lion. If someone needs the cow then they visit the squirrel.
The cow does not visit the lion.
@0: The cow eats the lion.[(triple1)] The cow eats the squirrel.[(triple2 OR ((triple3) -> rule1))] The cow needs the lion.[(triple3)] The cow visits the lion.[(triple4)] The lion eats the cow.[(triple5)] The lion is blue.[(triple6)] The lion is young.[(triple7)] The lion needs the squirrel.[(triple8)] The lion visits the cow.[(triple9)] The squirrel needs the cow.[(triple10)] @1: The squirrel visits the squirrel.[(((triple10) -> rule3))]