The bald eagle does not chase the dog. The bald eagle is green. The bald eagle visits the cow. The cow visits the dog. The dog chases the cow. The dog is not red. The tiger eats the bald eagle. The tiger does not eat the cow. The tiger is blue. The tiger is cold. The tiger is red. The tiger is not round. If the tiger is round then the tiger visits the dog. If something chases the dog then it chases the bald eagle. If something visits the tiger and the tiger eats the dog then it chases the bald eagle. If the bald eagle is green then the bald eagle is cold. If something eats the tiger then it chases the dog. If something visits the dog then the dog visits the bald eagle. If something chases the bald eagle and it chases the dog then the dog is not cold. If something is blue then it eats the tiger.
The tiger chases the dog.
@0: The bald eagle does not chase the dog.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle visits the cow.[(triple3)] The cow visits the dog.[(triple4)] The dog chases the cow.[(triple5)] The dog is not red.[(triple6)] The tiger does not eat the cow.[(triple8)] The tiger eats the bald eagle.[(triple7)] The tiger is blue.[(triple9)] The tiger is cold.[(triple10)] The tiger is not round.[(triple12)] The tiger is red.[(triple11)] @1: The bald eagle is cold.[(((triple2) -> rule4))] The dog visits the bald eagle.[(((triple4) -> rule6))] The tiger eats the tiger.[(((triple9) -> rule8))] @2: The tiger chases the dog.[(((((triple9) -> rule8)) -> rule5))] @3: The tiger chases the bald eagle.[(((((((triple9) -> rule8)) -> rule5)) -> rule2))] @4: The dog is not cold.[(((((((((triple9) -> rule8)) -> rule5)) -> rule2) ((((triple9) -> rule8)) -> rule5)) -> rule7))]