The bald eagle needs the bear. The bald eagle sees the bear. The bear is nice. The bear needs the bald eagle. The bear needs the cow. The bear needs the squirrel. The bear sees the cow. The bear sees the squirrel. The cow visits the bald eagle. The squirrel does not need the bald eagle. The squirrel needs the cow. The squirrel sees the bald eagle. The squirrel sees the bear. The squirrel visits the cow. If something sees the bear and it visits the bald eagle then the bald eagle is green. If something is round and it sees the bald eagle then the bald eagle is green. If something needs the cow and it does not need the bald eagle then the cow needs the squirrel. If something visits the cow and the cow is nice then the cow does not need the squirrel. If something needs the cow and the cow needs the bald eagle then the bald eagle visits the cow. If something sees the bald eagle and the bald eagle visits the squirrel then it is kind. If something needs the bald eagle then the bald eagle is round. If something is round then it visits the squirrel. If something is kind and it sees the bear then it visits the bald eagle.
The bear visits the bald eagle.
@0: The bald eagle needs the bear.[(triple1)] The bald eagle sees the bear.[(triple2)] The bear is nice.[(triple3)] The bear needs the bald eagle.[(triple4)] The bear needs the cow.[(triple5)] The bear needs the squirrel.[(triple6)] The bear sees the cow.[(triple7)] The bear sees the squirrel.[(triple8)] The cow visits the bald eagle.[(triple9)] The squirrel does not need the bald eagle.[(triple10)] The squirrel needs the cow.[(triple11)] The squirrel sees the bald eagle.[(triple12)] The squirrel sees the bear.[(triple13)] The squirrel visits the cow.[(triple14)] @1: The bald eagle is round.[(((triple4) -> rule7))] The cow needs the squirrel.[(((triple11 triple10) -> rule3))] @2: The bald eagle visits the squirrel.[(((((triple4) -> rule7)) -> rule8))] @3: The squirrel is kind.[(((triple12 ((((triple4) -> rule7)) -> rule8)) -> rule6))] @4: The squirrel visits the bald eagle.[(((((triple12 ((((triple4) -> rule7)) -> rule8)) -> rule6) triple13) -> rule9))] @5: The bald eagle is green.[(((triple13 ((((triple12 ((((triple4) -> rule7)) -> rule8)) -> rule6) triple13) -> rule9)) -> rule1))]