The bald eagle chases the bear. The bald eagle visits the mouse. The bear chases the bald eagle. The bear chases the dog. The bear is green. The bear is nice. The bear likes the dog. The bear visits the mouse. The dog chases the bald eagle. The dog chases the bear. The dog likes the bear. The dog likes the mouse. The dog visits the mouse. The mouse is rough. The mouse is young. If something is nice and it visits the bear then the bear likes the dog. If something visits the bear then it is rough. All young things are round.
The dog does not like the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle visits the mouse.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear chases the dog.[(triple4)] The bear is green.[(triple5)] The bear is nice.[(triple6)] The bear likes the dog.[(triple7)] The bear visits the mouse.[(triple8)] The dog chases the bald eagle.[(triple9)] The dog chases the bear.[(triple10)] The dog likes the bear.[(triple11)] The dog likes the mouse.[(triple12)] The dog visits the mouse.[(triple13)] The mouse is rough.[(triple14)] The mouse is young.[(triple15)] @1: The mouse is round.[(((triple15) -> rule3))]