The bald eagle eats the dog. The bald eagle needs the dog. The bald eagle visits the bear. The bear eats the dog. The bear is green. The bear is round. The bear does not need the bald eagle. The bear visits the bald eagle. The dog needs the bear. The dog does not need the tiger. The dog visits the tiger. The tiger eats the bear. The tiger is cold. The tiger is young. The tiger needs the dog. The tiger does not visit the bear. If someone is round and they do not need the tiger then the tiger is not green. If someone needs the bear and the bear visits the dog then the dog does not visit the bear. If someone visits the bald eagle and they need the bear then the bear needs the dog. If someone is round then they are not cold. If someone is kind then they are round. If the bald eagle does not eat the bear then the bear is round.
The bald eagle needs the tiger.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle needs the dog.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear does not need the bald eagle.[(triple7)] The bear eats the dog.[(triple4)] The bear is green.[(triple5)] The bear is round.[(triple6)] The bear visits the bald eagle.[(triple8)] The dog does not need the tiger.[(triple10)] The dog needs the bear.[(triple9)] The dog visits the tiger.[(triple11)] The tiger does not visit the bear.[(triple16)] The tiger eats the bear.[(triple12)] The tiger is cold.[(triple13)] The tiger is young.[(triple14)] The tiger needs the dog.[(triple15)] @1: The bear is not cold.[(((triple6) -> rule4))]