The bald eagle is round. The lion is blue. The lion is young. The lion visits the mouse. The mouse chases the bald eagle. The mouse sees the bald eagle. The mouse visits the bald eagle. If someone sees the mouse then they chase the mouse. If someone visits the bald eagle then they visit the mouse. If someone chases the mouse then they are nice. If someone sees the mouse then the mouse sees the lion. If someone sees the bald eagle and they visit the mouse then the mouse chases the lion. If someone is big then they visit the lion. If someone chases the lion then the lion sees the mouse. If someone chases the mouse then they are big.
The bald eagle visits the bald eagle.
@0: The bald eagle is round.[(triple1)] The lion is blue.[(triple2)] The lion is young.[(triple3)] The lion visits the mouse.[(triple4)] The mouse chases the bald eagle.[(triple5)] The mouse sees the bald eagle.[(triple6)] The mouse visits the bald eagle.[(triple7)] @1: The mouse visits the mouse.[(((triple7) -> rule2))] @2: The mouse chases the lion.[(((triple6 ((triple7) -> rule2)) -> rule5))] @3: The lion sees the mouse.[(((((triple6 ((triple7) -> rule2)) -> rule5)) -> rule7))] @4: The lion chases the mouse.[(((((((triple6 ((triple7) -> rule2)) -> rule5)) -> rule7)) -> rule1))] The mouse sees the lion.[(((((((triple6 ((triple7) -> rule2)) -> rule5)) -> rule7)) -> rule4))] @5: The lion is big.[(((((((((triple6 ((triple7) -> rule2)) -> rule5)) -> rule7)) -> rule1)) -> rule8))] The lion is nice.[(((((((((triple6 ((triple7) -> rule2)) -> rule5)) -> rule7)) -> rule1)) -> rule3))] @6: The lion visits the lion.[(((((((((((triple6 ((triple7) -> rule2)) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule6))]