The bald eagle is rough. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The bald eagle does not visit the cow. The bald eagle visits the lion. The cow is nice. The cow sees the squirrel. The lion sees the bald eagle. The squirrel likes the bald eagle. The squirrel does not see the lion. If someone sees the cow then they see the squirrel. If someone is round then they see the cow. If someone visits the lion then they like the cow.
The squirrel does not like the cow.
@0: The bald eagle does not visit the cow.[(triple4)] The bald eagle is rough.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bald eagle visits the lion.[(triple5)] The cow is nice.[(triple6)] The cow sees the squirrel.[(triple7)] The lion sees the bald eagle.[(triple8)] The squirrel does not see the lion.[(triple10)] The squirrel likes the bald eagle.[(triple9)] @1: The bald eagle likes the cow.[(((triple5) -> rule3))]