The bald eagle visits the tiger. The mouse eats the rabbit. The mouse is big. The mouse is cold. The mouse is red. The rabbit chases the tiger. The rabbit eats the tiger. The rabbit is big. The tiger chases the bald eagle. The tiger visits the mouse. If something eats the mouse then the mouse eats the bald eagle. If something visits the bald eagle and the bald eagle visits the tiger then it eats the bald eagle. If something chases the tiger then it chases the mouse. If something is nice and it chases the bald eagle then the bald eagle is nice. If something visits the tiger and the tiger eats the bald eagle then the tiger chases the mouse. If something eats the bald eagle then the bald eagle chases the rabbit. If something chases the rabbit then it visits the bald eagle. If something visits the mouse then the mouse visits the bald eagle. If something visits the mouse then the mouse eats the rabbit.
The bald eagle chases the rabbit.
@0: The bald eagle visits the tiger.[(triple1)] The mouse eats the rabbit.[(triple2 OR ((triple10) -> rule9))] The mouse is big.[(triple3)] The mouse is cold.[(triple4)] The mouse is red.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is big.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The mouse visits the bald eagle.[(((triple10) -> rule8))] The rabbit chases the mouse.[(((triple6) -> rule3))] @2: The mouse eats the bald eagle.[(((((triple10) -> rule8) triple1) -> rule2))] @3: The bald eagle chases the rabbit.[(((((((triple10) -> rule8) triple1) -> rule2)) -> rule6))] @4: The bald eagle visits the bald eagle.[(((((((((triple10) -> rule8) triple1) -> rule2)) -> rule6)) -> rule7))] @5: The bald eagle eats the bald eagle.[(((((((((((triple10) -> rule8) triple1) -> rule2)) -> rule6)) -> rule7) triple1) -> rule2))]