The bald eagle chases the bear. The bald eagle is round. The bald eagle is not young. The bald eagle does not like the bear. The bear chases the mouse. The bear visits the bald eagle. The mouse chases the bald eagle. The mouse does not chase the bear. The mouse is kind. The mouse is young. The mouse likes the bear. The mouse visits the bald eagle. If someone is kind then they do not chase the mouse.
The mouse chases the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle does not like the bear.[(triple4)] The bald eagle is not young.[(triple3)] The bald eagle is round.[(triple2)] The bear chases the mouse.[(triple5)] The bear visits the bald eagle.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse does not chase the bear.[(triple8)] The mouse is kind.[(triple9)] The mouse is young.[(triple10)] The mouse likes the bear.[(triple11)] The mouse visits the bald eagle.[(triple12)] @1: The mouse does not chase the mouse.[(((triple9) -> rule1))]