The bald eagle is kind. The bald eagle does not visit the rabbit. The mouse is big. The rabbit does not need the tiger. The tiger eats the rabbit. The tiger is big. The tiger needs the mouse. If something visits the mouse and it does not need the bald eagle then it is blue. If the rabbit visits the bald eagle and the rabbit is not rough then the rabbit eats the tiger. If something is rough then it needs the rabbit. If the tiger needs the mouse then the mouse visits the rabbit. If something visits the tiger then the tiger needs the rabbit. If something needs the rabbit then the rabbit does not visit the tiger. If the tiger visits the mouse and the mouse needs the rabbit then the rabbit visits the tiger. If the rabbit does not need the tiger then the tiger is blue.
The tiger needs the mouse.
@0: The bald eagle does not visit the rabbit.[(triple2)] The bald eagle is kind.[(triple1)] The mouse is big.[(triple3)] The rabbit does not need the tiger.[(triple4)] The tiger eats the rabbit.[(triple5)] The tiger is big.[(triple6)] The tiger needs the mouse.[(triple7)] @1: The mouse visits the rabbit.[(((triple7) -> rule4))] The tiger is blue.[(((triple4) -> rule8))]