The bald eagle chases the mouse. The bald eagle is green. The bald eagle visits the bear. The bear is big. The bear visits the mouse. The mouse sees the bald eagle. The mouse visits the bald eagle. If someone is round then they visit the mouse. If someone is round and they visit the mouse then they are young. If someone chases the mouse and the mouse visits the bald eagle then they are round.
The mouse visits the mouse.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear is big.[(triple4)] The bear visits the mouse.[(triple5)] The mouse sees the bald eagle.[(triple6)] The mouse visits the bald eagle.[(triple7)] @1: The bald eagle is round.[(((triple1 triple7) -> rule3))] @2: The bald eagle visits the mouse.[(((((triple1 triple7) -> rule3)) -> rule1))] @3: The bald eagle is young.[(((((triple1 triple7) -> rule3) ((((triple1 triple7) -> rule3)) -> rule1)) -> rule2))]