The dog chases the mouse. The dog is cold. The dog is green. The mouse chases the tiger. The mouse eats the dog. The mouse eats the tiger. The mouse is not round. The tiger chases the dog. The tiger chases the mouse. The tiger eats the dog. The tiger is round. The tiger likes the dog. If someone is green then they are round. If someone likes the tiger then the tiger chases the mouse. If someone is cold and they do not eat the dog then they do not chase the mouse. If the dog is cold and the dog chases the mouse then the mouse chases the dog. If the tiger likes the dog and the dog eats the mouse then the tiger does not chase the dog. If the mouse chases the dog then the dog does not eat the mouse. If someone likes the dog then they are red. If someone is round and they do not eat the mouse then the mouse does not like the dog.
The mouse does not eat the mouse.
@0: The dog chases the mouse.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3)] The mouse chases the tiger.[(triple4)] The mouse eats the dog.[(triple5)] The mouse eats the tiger.[(triple6)] The mouse is not round.[(triple7)] The tiger chases the dog.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger eats the dog.[(triple10)] The tiger is round.[(triple11)] The tiger likes the dog.[(triple12)] @1: The dog is round.[(((triple3) -> rule1))] The mouse chases the dog.[(((triple2 triple1) -> rule4))] The tiger is red.[(((triple12) -> rule7))] @2: The dog does not eat the mouse.[(((((triple2 triple1) -> rule4)) -> rule6))] @3: The mouse does not like the dog.[(((((triple3) -> rule1) ((((triple2 triple1) -> rule4)) -> rule6)) -> rule8))]