The bald eagle chases the bear. The bald eagle is big. The bald eagle is rough. The bald eagle is round. The bear chases the bald eagle. The bear eats the bald eagle. The bear is big. The bear is kind. The bear is young. The bear visits the bald eagle. If someone visits the bear and they eat the bald eagle then the bald eagle visits the bear. If someone chases the bald eagle then they visit the bear. If someone visits the bear then they are young.
The bald eagle visits the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear eats the bald eagle.[(triple6)] The bear is big.[(triple7)] The bear is kind.[(triple8)] The bear is young.[(triple9 OR ((((triple5) -> rule2)) -> rule3))] The bear visits the bald eagle.[(triple10)] @1: The bear visits the bear.[(((triple5) -> rule2))] @2: The bald eagle visits the bear.[(((((triple5) -> rule2) triple6) -> rule1))] @3: The bald eagle is young.[(((((((triple5) -> rule2) triple6) -> rule1)) -> rule3))]