The bald eagle eats the mouse. The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is red. The bald eagle does not need the mouse. The bald eagle visits the mouse. The bald eagle visits the tiger. The mouse eats the bald eagle. The mouse is blue. The mouse is not young. The mouse needs the bald eagle. The mouse needs the tiger. The mouse visits the bald eagle. The tiger is kind. The tiger is young. The tiger does not visit the mouse. If someone eats the tiger and the tiger does not visit the mouse then the mouse needs the tiger. If the mouse is young and the mouse needs the tiger then the tiger is young. If someone eats the tiger and the tiger eats the mouse then the mouse does not eat the tiger. If someone is kind and they visit the tiger then they need the bald eagle. If someone is kind and they need the tiger then they need the bald eagle. If someone is young and they need the bald eagle then they do not eat the tiger. If someone visits the tiger and the tiger needs the bald eagle then the tiger eats the mouse. If someone is young then they visit the tiger.
The tiger eats the tiger.
@0: The bald eagle does not need the mouse.[(triple5)] The bald eagle eats the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle visits the mouse.[(triple6)] The bald eagle visits the tiger.[(triple7)] The mouse eats the bald eagle.[(triple8)] The mouse is blue.[(triple9)] The mouse is not young.[(triple10)] The mouse needs the bald eagle.[(triple11)] The mouse needs the tiger.[(triple12 OR ((triple2 triple16) -> rule1))] The mouse visits the bald eagle.[(triple13)] The tiger does not visit the mouse.[(triple16)] The tiger is kind.[(triple14)] The tiger is young.[(triple15)] @1: The tiger visits the tiger.[(((triple15) -> rule8))] @2: The tiger needs the bald eagle.[(((triple14 ((triple15) -> rule8)) -> rule4))] @3: The tiger does not eat the tiger.[(((triple15 ((triple14 ((triple15) -> rule8)) -> rule4)) -> rule6))] The tiger eats the mouse.[(((triple7 ((triple14 ((triple15) -> rule8)) -> rule4)) -> rule7) OR ((((triple15) -> rule8) ((triple14 ((triple15) -> rule8)) -> rule4)) -> rule7))] @4: The mouse does not eat the tiger.[(((triple2 ((triple7 ((triple14 ((triple15) -> rule8)) -> rule4)) -> rule7)) -> rule3) OR ((triple2 ((((triple15) -> rule8) ((triple14 ((triple15) -> rule8)) -> rule4)) -> rule7)) -> rule3))]