The bald eagle visits the rabbit. The bear is red. The bear likes the rabbit. The bear needs the rabbit. The bear visits the bald eagle. The rabbit is young. The rabbit likes the squirrel. The rabbit visits the bear. The squirrel needs the rabbit. The squirrel visits the rabbit. If something is young and it needs the squirrel then it is red. If something needs the rabbit then it does not need the squirrel. If the bald eagle does not visit the bear then the bear likes the rabbit. If something is cold and it visits the squirrel then the squirrel needs the rabbit. If something likes the squirrel then it visits the squirrel. If something visits the bear then it needs the rabbit.
The squirrel does not visit the bald eagle.
@0: The bald eagle visits the rabbit.[(triple1)] The bear is red.[(triple2)] The bear likes the rabbit.[(triple3)] The bear needs the rabbit.[(triple4)] The bear visits the bald eagle.[(triple5)] The rabbit is young.[(triple6)] The rabbit likes the squirrel.[(triple7)] The rabbit visits the bear.[(triple8)] The squirrel needs the rabbit.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The bear does not need the squirrel.[(((triple4) -> rule2))] The rabbit needs the rabbit.[(((triple8) -> rule6))] The rabbit visits the squirrel.[(((triple7) -> rule5))] The squirrel does not need the squirrel.[(((triple9) -> rule2))] @2: The rabbit does not need the squirrel.[(((((triple8) -> rule6)) -> rule2))]