The bald eagle eats the tiger. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle needs the mouse. The mouse eats the bald eagle. The mouse is nice. The mouse visits the bald eagle. The mouse visits the tiger. The tiger eats the bald eagle. The tiger eats the mouse. The tiger is red. The tiger needs the bald eagle. The tiger needs the mouse. The tiger visits the mouse. If the bald eagle is kind then the bald eagle visits the tiger. If something visits the mouse then it needs the bald eagle. All red things are kind. If something is nice then it visits the mouse. If something is nice then it eats the bald eagle. If something is kind and it needs the bald eagle then it visits the bald eagle. If something visits the mouse then it is red. If the mouse is blue and the mouse visits the bald eagle then the bald eagle visits the mouse.
The mouse eats the bald eagle.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3 OR ((((triple2) -> rule4)) -> rule7))] The bald eagle is rough.[(triple4)] The bald eagle needs the mouse.[(triple5)] The mouse eats the bald eagle.[(triple6 OR ((triple7) -> rule5))] The mouse is nice.[(triple7)] The mouse visits the bald eagle.[(triple8 OR ((((((((triple7) -> rule4)) -> rule7)) -> rule3) ((((triple7) -> rule4)) -> rule2)) -> rule6))] The mouse visits the tiger.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger eats the mouse.[(triple11)] The tiger is red.[(triple12 OR ((triple15) -> rule7))] The tiger needs the bald eagle.[(triple13 OR ((triple15) -> rule2))] The tiger needs the mouse.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple2) -> rule5))] The bald eagle is kind.[(((triple3) -> rule3) OR ((((((triple2) -> rule4)) -> rule7)) -> rule3))] The bald eagle visits the mouse.[(((triple2) -> rule4))] The mouse visits the mouse.[(((triple7) -> rule4))] The tiger is kind.[(((triple12) -> rule3) OR ((((triple15) -> rule7)) -> rule3))] @2: The bald eagle needs the bald eagle.[(((((triple2) -> rule4)) -> rule2))] The bald eagle visits the tiger.[(((((triple3) -> rule3)) -> rule1) OR ((((((((triple2) -> rule4)) -> rule7)) -> rule3)) -> rule1))] The mouse is red.[(((((triple7) -> rule4)) -> rule7))] The mouse needs the bald eagle.[(((((triple7) -> rule4)) -> rule2))] The tiger visits the bald eagle.[(((((triple12) -> rule3) triple13) -> rule6) OR ((((triple12) -> rule3) ((triple15) -> rule2)) -> rule6) OR ((((((triple15) -> rule7)) -> rule3) triple13) -> rule6) OR ((((((triple15) -> rule7)) -> rule3) ((triple15) -> rule2)) -> rule6))] @3: The bald eagle visits the bald eagle.[(((((triple3) -> rule3) ((((triple2) -> rule4)) -> rule2)) -> rule6) OR ((((((((triple2) -> rule4)) -> rule7)) -> rule3) ((((triple2) -> rule4)) -> rule2)) -> rule6))] The mouse is kind.[(((((((triple7) -> rule4)) -> rule7)) -> rule3))]