The bald eagle is nice. The bald eagle needs the bear. The bald eagle visits the bear. The bear eats the bald eagle. The bear is big. The bear needs the bald eagle. The bear visits the dog. The dog eats the bear. The dog does not need the bear. The dog visits the bald eagle. If something eats the bear then it eats the bald eagle. If something is cold then it eats the bear. If something visits the bald eagle then the bald eagle is cold. If something visits the bald eagle then the bald eagle is big. If something eats the bald eagle and the bald eagle does not eat the dog then it is nice. If the dog needs the bald eagle then the bald eagle visits the dog.
The bear visits the dog.
@0: The bald eagle is nice.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear eats the bald eagle.[(triple4)] The bear is big.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear visits the dog.[(triple7)] The dog does not need the bear.[(triple9)] The dog eats the bear.[(triple8)] The dog visits the bald eagle.[(triple10)] @1: The bald eagle is big.[(((triple10) -> rule4))] The bald eagle is cold.[(((triple10) -> rule3))] The dog eats the bald eagle.[(((triple8) -> rule1))] @2: The bald eagle eats the bear.[(((((triple10) -> rule3)) -> rule2))] @3: The bald eagle eats the bald eagle.[(((((((triple10) -> rule3)) -> rule2)) -> rule1))]