The bald eagle chases the squirrel. The bald eagle does not like the lion. The bald eagle likes the squirrel. The bald eagle visits the lion. The lion does not chase the squirrel. The lion likes the bald eagle. The lion likes the squirrel. The lion visits the bald eagle. The squirrel does not chase the lion. The squirrel visits the bald eagle. If the squirrel is cold and the squirrel likes the lion then the lion likes the squirrel. If the squirrel is round and the squirrel visits the lion then the lion likes the squirrel. If something is cold then it does not visit the lion. If something likes the bald eagle then it likes the lion. If something visits the squirrel then the squirrel likes the lion. If something likes the lion then the lion is cold.
The bald eagle does not like the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle does not like the lion.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle visits the lion.[(triple4)] The lion does not chase the squirrel.[(triple5)] The lion likes the bald eagle.[(triple6)] The lion likes the squirrel.[(triple7)] The lion visits the bald eagle.[(triple8)] The squirrel does not chase the lion.[(triple9)] The squirrel visits the bald eagle.[(triple10)] @1: The lion likes the lion.[(((triple6) -> rule4))] @2: The lion is cold.[(((((triple6) -> rule4)) -> rule6))] @3: The lion does not visit the lion.[(((((((triple6) -> rule4)) -> rule6)) -> rule3))]