The bald eagle chases the bear. The bald eagle likes the mouse. The bear chases the bald eagle. The bear is kind. The bear visits the bald eagle. The bear visits the mouse. The lion chases the bear. The lion is kind. The mouse visits the bald eagle. The mouse visits the lion. If the mouse is blue then the mouse visits the lion. If someone chases the bald eagle and they chase the mouse then the bald eagle chases the bear. If someone visits the mouse and they are kind then the mouse likes the lion. If someone likes the bald eagle and they like the bear then the bald eagle is blue. If someone chases the bald eagle and the bald eagle chases the mouse then the bald eagle is green. If someone visits the mouse then the mouse is rough.
The lion chases the mouse.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear is kind.[(triple4)] The bear visits the bald eagle.[(triple5)] The bear visits the mouse.[(triple6)] The lion chases the bear.[(triple7)] The lion is kind.[(triple8)] The mouse visits the bald eagle.[(triple9)] The mouse visits the lion.[(triple10)] @1: The mouse is rough.[(((triple6) -> rule6))] The mouse likes the lion.[(((triple6 triple4) -> rule3))]