The bald eagle does not chase the squirrel. The bald eagle eats the mouse. The bald eagle is cold. The bald eagle is kind. The mouse chases the tiger. The squirrel does not chase the bald eagle. The squirrel chases the mouse. The squirrel eats the tiger. The squirrel is cold. The squirrel visits the tiger. The tiger chases the mouse. The tiger eats the bald eagle. The tiger is kind. The tiger visits the bald eagle. The tiger visits the mouse. If something visits the mouse then it eats the squirrel. If something eats the bald eagle then it is blue. If the mouse is green and the mouse visits the tiger then the tiger visits the mouse. If something is blue then it visits the mouse. If something eats the tiger and the tiger chases the mouse then it eats the bald eagle. If something visits the bald eagle and it eats the squirrel then it eats the bald eagle. If something is cold and it chases the bald eagle then the bald eagle does not eat the squirrel. If the bald eagle is green and the tiger does not eat the bald eagle then the bald eagle does not visit the tiger.
The tiger is not young.
@0: The bald eagle does not chase the squirrel.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is kind.[(triple4)] The mouse chases the tiger.[(triple5)] The squirrel chases the mouse.[(triple7)] The squirrel does not chase the bald eagle.[(triple6)] The squirrel eats the tiger.[(triple8)] The squirrel is cold.[(triple9)] The squirrel visits the tiger.[(triple10)] The tiger chases the mouse.[(triple11)] The tiger eats the bald eagle.[(triple12 OR ((triple14 ((triple15) -> rule1)) -> rule6))] The tiger is kind.[(triple13)] The tiger visits the bald eagle.[(triple14)] The tiger visits the mouse.[(triple15 OR ((((triple12) -> rule2)) -> rule4))] @1: The squirrel eats the bald eagle.[(((triple8 triple11) -> rule5))] The tiger eats the squirrel.[(((triple15) -> rule1) OR ((((((triple12) -> rule2)) -> rule4)) -> rule1))] The tiger is blue.[(((triple12) -> rule2) OR ((((triple14 ((triple15) -> rule1)) -> rule6)) -> rule2))] @2: The squirrel is blue.[(((((triple8 triple11) -> rule5)) -> rule2))] @3: The squirrel visits the mouse.[(((((((triple8 triple11) -> rule5)) -> rule2)) -> rule4))] @4: The squirrel eats the squirrel.[(((((((((triple8 triple11) -> rule5)) -> rule2)) -> rule4)) -> rule1))]