The bald eagle chases the dog. The dog eats the mouse. The dog is big. The dog likes the tiger. The mouse is kind. The tiger eats the dog. The tiger likes the mouse. If something likes the mouse then the mouse likes the tiger. All red things are blue. If something eats the mouse then it chases the mouse. If something is kind and big then it eats the dog. If something likes the tiger then it likes the dog. If something eats the dog then it likes the tiger.
The dog does not like the dog.
@0: The bald eagle chases the dog.[(triple1)] The dog eats the mouse.[(triple2)] The dog is big.[(triple3)] The dog likes the tiger.[(triple4)] The mouse is kind.[(triple5)] The tiger eats the dog.[(triple6)] The tiger likes the mouse.[(triple7)] @1: The dog chases the mouse.[(((triple2) -> rule3))] The dog likes the dog.[(((triple4) -> rule5))] The mouse likes the tiger.[(((triple7) -> rule1))] The tiger likes the tiger.[(((triple6) -> rule6))] @2: The mouse likes the dog.[(((((triple7) -> rule1)) -> rule5))] The tiger likes the dog.[(((((triple6) -> rule6)) -> rule5))]