The bald eagle is blue. The mouse visits the tiger. The tiger eats the mouse. If something eats the bald eagle then it visits the bald eagle. If something eats the bald eagle and it eats the mouse then the bald eagle visits the tiger. If something visits the tiger then the tiger eats the bald eagle. If something eats the bald eagle then it is red. If something visits the mouse then it eats the bald eagle. If something visits the bald eagle then the bald eagle is blue.
The mouse does not visit the bald eagle.
@0: The bald eagle is blue.[(triple1 OR ((((((triple2) -> rule3)) -> rule1)) -> rule6))] The mouse visits the tiger.[(triple2)] The tiger eats the mouse.[(triple3)] @1: The tiger eats the bald eagle.[(((triple2) -> rule3))] @2: The bald eagle visits the tiger.[(((((triple2) -> rule3) triple3) -> rule2))] The tiger is red.[(((((triple2) -> rule3)) -> rule4))] The tiger visits the bald eagle.[(((((triple2) -> rule3)) -> rule1))]