The bald eagle needs the mouse. The bald eagle needs the tiger. The mouse chases the tiger. The mouse eats the bald eagle. The mouse is nice. The mouse is young. The mouse needs the bald eagle. The mouse needs the tiger. The tiger eats the bald eagle. The tiger is nice. If the mouse is young then the mouse needs the tiger. If someone is blue then they need the tiger. If someone needs the mouse and they need the tiger then the mouse needs the bald eagle. If someone eats the bald eagle then they are kind. If someone needs the tiger then the tiger chases the bald eagle. If someone needs the mouse then they eat the bald eagle. If someone is kind then they need the tiger. If someone needs the tiger then they are blue.
The tiger does not chase the bald eagle.
@0: The bald eagle needs the mouse.[(triple1)] The bald eagle needs the tiger.[(triple2 OR ((((((triple1) -> rule6)) -> rule4)) -> rule7))] The mouse chases the tiger.[(triple3)] The mouse eats the bald eagle.[(triple4)] The mouse is nice.[(triple5)] The mouse is young.[(triple6)] The mouse needs the bald eagle.[(triple7 OR ((triple1 triple2) -> rule3) OR ((triple1 ((((((triple1) -> rule6)) -> rule4)) -> rule7)) -> rule3))] The mouse needs the tiger.[(triple8 OR ((triple6) -> rule1) OR ((((triple4) -> rule4)) -> rule7))] The tiger eats the bald eagle.[(triple9)] The tiger is nice.[(triple10)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule6))] The bald eagle is blue.[(((triple2) -> rule8) OR ((((((((triple1) -> rule6)) -> rule4)) -> rule7)) -> rule8))] The mouse is blue.[(((triple8) -> rule8) OR ((((triple6) -> rule1)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7)) -> rule8))] The mouse is kind.[(((triple4) -> rule4))] The tiger chases the bald eagle.[(((triple2) -> rule5) OR ((triple8) -> rule5) OR ((((triple6) -> rule1)) -> rule5) OR ((((((triple4) -> rule4)) -> rule7)) -> rule5) OR ((((((triple9) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple1) -> rule6)) -> rule4)) -> rule7)) -> rule5))] The tiger is kind.[(((triple9) -> rule4))] @2: The bald eagle is kind.[(((((triple1) -> rule6)) -> rule4))] The tiger needs the tiger.[(((((triple9) -> rule4)) -> rule7))] @3: The tiger is blue.[(((((((triple9) -> rule4)) -> rule7)) -> rule8))]