The bald eagle chases the tiger. The bear chases the bald eagle. The bear eats the bald eagle. The bear is kind. The bear is nice. The bear is rough. The tiger is cold. The tiger is kind. The tiger is rough. The tiger needs the bear. If the bald eagle needs the tiger then the tiger is cold. Kind things are nice. If something eats the bear then the bear eats the tiger. If something chases the bear and the bear needs the bald eagle then the bear needs the tiger. If something chases the bald eagle and the bald eagle does not eat the tiger then the tiger needs the bear. If the bear is kind then the bear does not chase the tiger.
The bear does not need the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The bear chases the bald eagle.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5 OR ((triple4) -> rule2))] The bear is rough.[(triple6)] The tiger is cold.[(triple7)] The tiger is kind.[(triple8)] The tiger is rough.[(triple9)] The tiger needs the bear.[(triple10)] @1: The bear does not chase the tiger.[(((triple4) -> rule6))] The tiger is nice.[(((triple8) -> rule2))]