The bald eagle is nice. The bald eagle needs the tiger. The bald eagle visits the mouse. The bald eagle visits the tiger. The mouse visits the tiger. The tiger eats the mouse. The tiger visits the bald eagle. If something eats the tiger and it needs the tiger then it is rough. If something eats the bald eagle then it eats the tiger. If something eats the bald eagle then the bald eagle visits the tiger. If something visits the tiger then it is green. If something eats the mouse then it visits the tiger. If something is green then it needs the mouse. If something is nice and it visits the tiger then the tiger is red. If something needs the mouse and the mouse eats the tiger then the mouse is nice.
The tiger is green.
@0: The bald eagle is nice.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bald eagle visits the tiger.[(triple4)] The mouse visits the tiger.[(triple5)] The tiger eats the mouse.[(triple6)] The tiger visits the bald eagle.[(triple7)] @1: The bald eagle is green.[(((triple4) -> rule4))] The mouse is green.[(((triple5) -> rule4))] The tiger is red.[(((triple1 triple4) -> rule7))] The tiger visits the tiger.[(((triple6) -> rule5))] @2: The bald eagle needs the mouse.[(((((triple4) -> rule4)) -> rule6))] The mouse needs the mouse.[(((((triple5) -> rule4)) -> rule6))] The tiger is green.[(((((triple6) -> rule5)) -> rule4))] @3: The tiger needs the mouse.[(((((((triple6) -> rule5)) -> rule4)) -> rule6))]