The bald eagle needs the bear. The bear eats the squirrel. The cat needs the squirrel. The squirrel is cold. If something visits the cat then it is rough. If something needs the bear then it needs the bald eagle. If something needs the bald eagle and it eats the bear then the bald eagle eats the cat. If something needs the bald eagle and it eats the squirrel then the squirrel visits the bald eagle. If the bear eats the squirrel and the bear is young then the squirrel eats the cat. If something visits the bald eagle then it needs the cat. Young things are big. If something needs the bald eagle then the bald eagle visits the squirrel.
The bald eagle does not visit the bear.
@0: The bald eagle needs the bear.[(triple1)] The bear eats the squirrel.[(triple2)] The cat needs the squirrel.[(triple3)] The squirrel is cold.[(triple4)] @1: The bald eagle needs the bald eagle.[(((triple1) -> rule2))] @2: The bald eagle visits the squirrel.[(((((triple1) -> rule2)) -> rule8))]