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