The dog is green. The dog sees the mouse. The dog sees the tiger. The lion chases the dog. The lion eats the tiger. The mouse is big. The mouse is cold. The tiger chases the dog. The tiger chases the lion. The tiger eats the dog. The tiger eats the lion. The tiger is blue. If something is blue and young then it sees the lion. If something eats the mouse then it chases the lion. If something chases the lion and it is big then the lion is cold. If something is big and it chases the mouse then it eats the mouse. If something is big then it eats the lion. If something eats the lion and the lion chases the dog then it sees the mouse.
The dog chases the lion.
@0: The dog is green.[(triple1)] The dog sees the mouse.[(triple2)] The dog sees the tiger.[(triple3)] The lion chases the dog.[(triple4)] The lion eats the tiger.[(triple5)] The mouse is big.[(triple6)] The mouse is cold.[(triple7)] The tiger chases the dog.[(triple8)] The tiger chases the lion.[(triple9)] The tiger eats the dog.[(triple10)] The tiger eats the lion.[(triple11)] The tiger is blue.[(triple12)] @1: The mouse eats the lion.[(((triple6) -> rule5))] The tiger sees the mouse.[(((triple11 triple4) -> rule6))] @2: The mouse sees the mouse.[(((((triple6) -> rule5) triple4) -> rule6))]