The bald eagle eats the tiger. The bald eagle is round. The bald eagle needs the mouse. The bald eagle visits the mouse. The cow needs the mouse. The cow needs the tiger. The mouse is round. The mouse visits the cow. The tiger is nice. The tiger needs the cow. The tiger visits the bald eagle. The tiger visits the cow. If something is round then it needs the cow. If something eats the bald eagle then the bald eagle visits the cow. If the mouse needs the cow then the cow is blue.
The cow needs the cow.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle visits the mouse.[(triple4)] The cow needs the mouse.[(triple5)] The cow needs the tiger.[(triple6)] The mouse is round.[(triple7)] The mouse visits the cow.[(triple8)] The tiger is nice.[(triple9)] The tiger needs the cow.[(triple10)] The tiger visits the bald eagle.[(triple11)] The tiger visits the cow.[(triple12)] @1: The bald eagle needs the cow.[(((triple2) -> rule1))] The mouse needs the cow.[(((triple7) -> rule1))] @2: The cow is blue.[(((((triple7) -> rule1)) -> rule3))]