The bald eagle visits the tiger. The dog is not red. The tiger is rough. If the dog chases the bald eagle and the dog visits the bald eagle then the dog is not red. If something is rough then it eats the bald eagle. If something is red and it visits the tiger then it does not chase the bald eagle. If something eats the tiger then it chases the tiger. If something visits the tiger and it is red then it does not chase the tiger. If something is cold then it chases the tiger. If something chases the tiger and it eats the bald eagle then the tiger chases the dog. If something is rough then it is cold.
The bald eagle is red.
@0: The bald eagle visits the tiger.[(triple1)] The dog is not red.[(triple2)] The tiger is rough.[(triple3)] @1: The tiger eats the bald eagle.[(((triple3) -> rule2))] The tiger is cold.[(((triple3) -> rule8))] @2: The tiger chases the tiger.[(((((triple3) -> rule8)) -> rule6))] @3: The tiger chases the dog.[(((((((triple3) -> rule8)) -> rule6) ((triple3) -> rule2)) -> rule7))]