The bald eagle eats the lion. The bald eagle eats the squirrel. The bald eagle is green. The bald eagle visits the cow. The bald eagle visits the squirrel. The cow does not eat the bald eagle. The cow likes the bald eagle. The cow likes the lion. The cow likes the squirrel. The lion is young. The lion does not visit the bald eagle. The squirrel eats the cow. The squirrel likes the bald eagle. The squirrel likes the cow. The squirrel visits the lion. If someone visits the lion then they do not eat the bald eagle. If someone eats the cow then the cow likes the bald eagle. If the cow likes the lion and the bald eagle does not like the cow then the bald eagle eats the lion. If someone visits the squirrel then the squirrel likes the cow. If someone is green and they do not visit the lion then they visit the bald eagle. If someone visits the lion and the lion does not like the squirrel then the lion does not eat the bald eagle.
The cow does not visit the bald eagle.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle visits the cow.[(triple4)] The bald eagle visits the squirrel.[(triple5)] The cow does not eat the bald eagle.[(triple6)] The cow likes the bald eagle.[(triple7 OR ((triple12) -> rule2))] The cow likes the lion.[(triple8)] The cow likes the squirrel.[(triple9)] The lion does not visit the bald eagle.[(triple11)] The lion is young.[(triple10)] The squirrel eats the cow.[(triple12)] The squirrel likes the bald eagle.[(triple13)] The squirrel likes the cow.[(triple14 OR ((triple5) -> rule4))] The squirrel visits the lion.[(triple15)] @1: The squirrel does not eat the bald eagle.[(((triple15) -> rule1))]