The bald eagle needs the mouse. The bald eagle visits the mouse. The dog is young. The dog needs the mouse. The dog visits the mouse. The mouse is red. The mouse is rough. The mouse visits the bald eagle. The tiger is cold. The tiger needs the bald eagle. The tiger needs the dog. The tiger visits the dog. If the mouse visits the dog then the mouse visits the tiger. If something needs the tiger and the tiger is cold then it is green. If something is cold and it needs the bald eagle then the bald eagle visits the mouse. If something needs the mouse then it visits the bald eagle. If something is young then it needs the tiger. If something visits the dog and the dog is green then it is young.
The bald eagle eats the dog.
@0: The bald eagle needs the mouse.[(triple1)] The bald eagle visits the mouse.[(triple2 OR ((triple9 triple10) -> rule3))] The dog is young.[(triple3)] The dog needs the mouse.[(triple4)] The dog visits the mouse.[(triple5)] The mouse is red.[(triple6)] The mouse is rough.[(triple7)] The mouse visits the bald eagle.[(triple8)] The tiger is cold.[(triple9)] The tiger needs the bald eagle.[(triple10)] The tiger needs the dog.[(triple11)] The tiger visits the dog.[(triple12)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule4))] The dog needs the tiger.[(((triple3) -> rule5))] The dog visits the bald eagle.[(((triple4) -> rule4))] @2: The dog is green.[(((((triple3) -> rule5) triple9) -> rule2))] @3: The tiger is young.[(((triple12 ((((triple3) -> rule5) triple9) -> rule2)) -> rule6))] @4: The tiger needs the tiger.[(((((triple12 ((((triple3) -> rule5) triple9) -> rule2)) -> rule6)) -> rule5))] @5: The tiger is green.[(((((((triple12 ((((triple3) -> rule5) triple9) -> rule2)) -> rule6)) -> rule5) triple9) -> rule2))]