The bald eagle does not eat the squirrel. The bald eagle does not see the squirrel. The bald eagle visits the lion. The bald eagle visits the squirrel. The lion does not eat the bald eagle. The lion eats the squirrel. The lion is big. The lion does not see the bald eagle. The lion does not see the squirrel. The squirrel is cold. The squirrel is not round. The squirrel does not visit the bald eagle. If something visits the squirrel then the squirrel does not see the lion. If something eats the squirrel and it is round then it eats the bald eagle. If something is rough then it eats the bald eagle. If something eats the lion and the lion is big then it does not visit the lion. Rough things are green. If something is big and it visits the lion then it is not green. If the lion is rough then the lion visits the squirrel. If something eats the lion and it sees the squirrel then the lion is cold.
The bald eagle sees the bald eagle.
@0: The bald eagle does not eat the squirrel.[(triple1)] The bald eagle does not see the squirrel.[(triple2)] The bald eagle visits the lion.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The lion does not eat the bald eagle.[(triple5)] The lion does not see the bald eagle.[(triple8)] The lion does not see the squirrel.[(triple9)] The lion eats the squirrel.[(triple6)] The lion is big.[(triple7)] The squirrel does not visit the bald eagle.[(triple12)] The squirrel is cold.[(triple10)] The squirrel is not round.[(triple11)] @1: The squirrel does not see the lion.[(((triple4) -> rule1))]