The bald eagle chases the tiger. The bald eagle visits the dog. The bear is not kind. The bear needs the bald eagle. The bear needs the tiger. The dog chases the bald eagle. The dog chases the bear. The dog is not cold. The dog needs the bear. The tiger is kind. The tiger is not young. If someone visits the bald eagle then the bald eagle chases the tiger. If someone visits the tiger then the tiger does not need the dog. If the dog chases the bear and the dog is round then the bear visits the dog. If someone chases the tiger and they chase the bald eagle then the bald eagle needs the dog. If someone needs the dog then the dog is round. If someone visits the dog then they chase the bald eagle.
The bald eagle needs the dog.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle visits the dog.[(triple2)] The bear is not kind.[(triple3)] The bear needs the bald eagle.[(triple4)] The bear needs the tiger.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog chases the bear.[(triple7)] The dog is not cold.[(triple8)] The dog needs the bear.[(triple9)] The tiger is kind.[(triple10)] The tiger is not young.[(triple11)] @1: The bald eagle chases the bald eagle.[(((triple2) -> rule6))] @2: The bald eagle needs the dog.[(((triple1 ((triple2) -> rule6)) -> rule4))] @3: The dog is round.[(((((triple1 ((triple2) -> rule6)) -> rule4)) -> rule5))] @4: The bear visits the dog.[(((triple7 ((((triple1 ((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule3))] @5: The bear chases the bald eagle.[(((((triple7 ((((triple1 ((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule3)) -> rule6))]