The bald eagle needs the cat. The bald eagle needs the cow. The bald eagle needs the squirrel. The bald eagle sees the cow. The bald eagle sees the squirrel. The cat needs the squirrel. The cat sees the squirrel. The cat visits the bald eagle. The cow is big. The cow needs the bald eagle. The cow needs the squirrel. The cow sees the bald eagle. The cow visits the cat. The squirrel sees the bald eagle. The squirrel visits the bald eagle. If someone is young and they see the squirrel then they visit the squirrel. If someone sees the bald eagle then they visit the cow. If the cat visits the cow and the cow needs the squirrel then the cat is cold. If someone sees the cat then the cat needs the squirrel. If the cat is big then the cat needs the bald eagle. If the bald eagle visits the squirrel then the squirrel sees the bald eagle.
The cow does not need the squirrel.
@0: The bald eagle needs the cat.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle sees the cow.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The cat needs the squirrel.[(triple6)] The cat sees the squirrel.[(triple7)] The cat visits the bald eagle.[(triple8)] The cow is big.[(triple9)] The cow needs the bald eagle.[(triple10)] The cow needs the squirrel.[(triple11)] The cow sees the bald eagle.[(triple12)] The cow visits the cat.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel visits the bald eagle.[(triple15)] @1: The cow visits the cow.[(((triple12) -> rule2))] The squirrel visits the cow.[(((triple14) -> rule2))]