The bald eagle likes the squirrel. The bald eagle visits the cow. The cow eats the bald eagle. The cow eats the lion. The cow eats the squirrel. The cow is big. The cow is nice. The cow is round. The cow likes the bald eagle. The cow likes the lion. The cow visits the squirrel. The lion is round. The lion likes the squirrel. The lion visits the bald eagle. The squirrel eats the cow. The squirrel likes the cow. If something likes the cow and the cow is nice then the cow is young. If the cow eats the bald eagle then the bald eagle likes the lion.
The cow does not like the bald eagle.
@0: The bald eagle likes the squirrel.[(triple1)] The bald eagle visits the cow.[(triple2)] The cow eats the bald eagle.[(triple3)] The cow eats the lion.[(triple4)] The cow eats the squirrel.[(triple5)] The cow is big.[(triple6)] The cow is nice.[(triple7)] The cow is round.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow likes the lion.[(triple10)] The cow visits the squirrel.[(triple11)] The lion is round.[(triple12)] The lion likes the squirrel.[(triple13)] The lion visits the bald eagle.[(triple14)] The squirrel eats the cow.[(triple15)] The squirrel likes the cow.[(triple16)] @1: The bald eagle likes the lion.[(((triple3) -> rule2))] The cow is young.[(((triple16 triple7) -> rule1))]