The bald eagle visits the cat. The bear is green. The cat visits the bear. The rabbit visits the cat. If the bald eagle needs the bear and the bear is green then the bald eagle sees the bear. If the cat visits the rabbit and the cat sees the rabbit then the cat sees the bald eagle. If something visits the bald eagle then it visits the cat. If something visits the bear then it visits the rabbit. If something visits the rabbit then it needs the bear. If something sees the bald eagle and it needs the cat then the bald eagle needs the cat. If something needs the bear then the bear visits the rabbit. If the bald eagle needs the rabbit then the rabbit needs the cat.
The bear visits the rabbit.
@0: The bald eagle visits the cat.[(triple1)] The bear is green.[(triple2)] The cat visits the bear.[(triple3)] The rabbit visits the cat.[(triple4)] @1: The cat visits the rabbit.[(((triple3) -> rule4))] @2: The cat needs the bear.[(((((triple3) -> rule4)) -> rule5))] @3: The bear visits the rabbit.[(((((((triple3) -> rule4)) -> rule5)) -> rule7))] @4: The bear needs the bear.[(((((((((triple3) -> rule4)) -> rule5)) -> rule7)) -> rule5))]