The bald eagle does not visit the tiger. The mouse is blue. The mouse is kind. The mouse visits the bald eagle. The tiger does not need the bald eagle. The tiger visits the bald eagle. The tiger visits the mouse. If someone is kind and blue then they need the tiger. If someone is blue and they need the tiger then they are red. If someone chases the mouse then they do not need the bald eagle. If the bald eagle chases the tiger then the tiger needs the bald eagle. All red people are young. If someone needs the mouse then the mouse visits the bald eagle. If someone visits the tiger and they are red then the tiger chases the mouse. If someone needs the bald eagle then the bald eagle chases the mouse.
The mouse is not young.
@0: The bald eagle does not visit the tiger.[(triple1)] The mouse is blue.[(triple2)] The mouse is kind.[(triple3)] The mouse visits the bald eagle.[(triple4)] The tiger does not need the bald eagle.[(triple5)] The tiger visits the bald eagle.[(triple6)] The tiger visits the mouse.[(triple7)] @1: The mouse needs the tiger.[(((triple3 triple2) -> rule1))] @2: The mouse is red.[(((triple2 ((triple3 triple2) -> rule1)) -> rule2))] @3: The mouse is young.[(((((triple2 ((triple3 triple2) -> rule1)) -> rule2)) -> rule5))]