The bald eagle needs the tiger. The dog visits the tiger. The mouse is cold. The tiger is not green. If something visits the tiger then it chases the bald eagle. If the tiger needs the mouse then the mouse needs the bald eagle. If something chases the mouse then it does not visit the bald eagle. If something visits the dog then it is red. If something needs the bald eagle then the bald eagle chases the dog. If something chases the bald eagle and the bald eagle needs the tiger then the tiger needs the bald eagle.
The dog does not chase the bald eagle.
@0: The bald eagle needs the tiger.[(triple1)] The dog visits the tiger.[(triple2)] The mouse is cold.[(triple3)] The tiger is not green.[(triple4)] @1: The dog chases the bald eagle.[(((triple2) -> rule1))] @2: The tiger needs the bald eagle.[(((((triple2) -> rule1) triple1) -> rule6))] @3: The bald eagle chases the dog.[(((((((triple2) -> rule1) triple1) -> rule6)) -> rule5))]