The bald eagle eats the bear. The bald eagle eats the cat. The bald eagle is kind. The bald eagle needs the cat. The bald eagle visits the cat. The bear needs the dog. The bear visits the cat. The cat is kind. The dog is big. The dog is green. The dog is kind. The dog visits the bear. If the bald eagle needs the dog and the bald eagle needs the cat then the bald eagle visits the dog. If something needs the dog then it needs the bald eagle. If something eats the bear then it visits the dog. If something is blue then it visits the dog. Green things are kind. If something needs the dog then it visits the bear. If something needs the bald eagle and the bald eagle is kind then it is young. If something eats the cat then the cat eats the bald eagle.
The dog does not need the dog.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle needs the cat.[(triple4)] The bald eagle visits the cat.[(triple5)] The bear needs the dog.[(triple6)] The bear visits the cat.[(triple7)] The cat is kind.[(triple8)] The dog is big.[(triple9)] The dog is green.[(triple10)] The dog is kind.[(triple11 OR ((triple10) -> rule5))] The dog visits the bear.[(triple12)] @1: The bald eagle visits the dog.[(((triple1) -> rule3))] The bear needs the bald eagle.[(((triple6) -> rule2))] The bear visits the bear.[(((triple6) -> rule6))] The cat eats the bald eagle.[(((triple2) -> rule8))] @2: The bear is young.[(((((triple6) -> rule2) triple3) -> rule7))]