The bald eagle visits the cat. The bear needs the bald eagle. The cat sees the bald eagle. The dog visits the bald eagle. If someone visits the cat then they need the bear. If someone is rough then they need the bald eagle. If someone needs the bald eagle then they visit the bear. If the dog visits the bald eagle then the dog is rough. If the dog is green then the dog does not see the bear. If the bald eagle needs the dog then the bald eagle sees the bear.
The bear is not young.
@0: The bald eagle visits the cat.[(triple1)] The bear needs the bald eagle.[(triple2)] The cat sees the bald eagle.[(triple3)] The dog visits the bald eagle.[(triple4)] @1: The bald eagle needs the bear.[(((triple1) -> rule1))] The bear visits the bear.[(((triple2) -> rule3))] The dog is rough.[(((triple4) -> rule4))] @2: The dog needs the bald eagle.[(((((triple4) -> rule4)) -> rule2))] @3: The dog visits the bear.[(((((((triple4) -> rule4)) -> rule2)) -> rule3))]