The bald eagle is young. The bald eagle needs the cat. The bald eagle sees the cat. The bald eagle visits the bear. The bear needs the bald eagle. The bear does not see the squirrel. The bear visits the squirrel. The cat is rough. The cat sees the bald eagle. The cat visits the bald eagle. The cat visits the bear. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel visits the bald eagle. The squirrel does not visit the bear. If something sees the squirrel and it is rough then the squirrel sees the bald eagle. If the squirrel does not see the bear then the squirrel does not visit the bald eagle. If the bear needs the cat and the cat needs the bald eagle then the bald eagle needs the bear. If something is green then it does not need the cat. If something needs the squirrel and it does not visit the bear then it needs the bald eagle. If something visits the cat then it needs the bear.
The bear does not visit the squirrel.
@0: The bald eagle is young.[(triple1)] The bald eagle needs the cat.[(triple2)] The bald eagle sees the cat.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear does not see the squirrel.[(triple6)] The bear needs the bald eagle.[(triple5)] The bear visits the squirrel.[(triple7)] The cat is rough.[(triple8)] The cat sees the bald eagle.[(triple9)] The cat visits the bald eagle.[(triple10)] The cat visits the bear.[(triple11)] The squirrel does not visit the bear.[(triple16)] The squirrel is green.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is red.[(triple14)] The squirrel visits the bald eagle.[(triple15)] @1: The squirrel does not need the cat.[(((triple12) -> rule4))]