The bald eagle chases the mouse. The bald eagle chases the tiger. The bald eagle needs the tiger. The bald eagle visits the mouse. The mouse is red. The mouse is young. The mouse needs the tiger. The mouse visits the bald eagle. The tiger is nice. The tiger is rough. If someone visits the mouse then they visit the tiger. If someone is blue and red then they chase the tiger.
The bald eagle visits the tiger.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle visits the mouse.[(triple4)] The mouse is red.[(triple5)] The mouse is young.[(triple6)] The mouse needs the tiger.[(triple7)] The mouse visits the bald eagle.[(triple8)] The tiger is nice.[(triple9)] The tiger is rough.[(triple10)] @1: The bald eagle visits the tiger.[(((triple4) -> rule1))]