The dog chases the mouse. The dog eats the mouse. The dog is cold. The dog is green. The dog is young. The dog needs the mouse. The mouse chases the dog. The mouse eats the dog. The mouse is blue. The mouse needs the dog. If someone eats the mouse and they chase the mouse then the mouse needs the dog. If someone chases the mouse and they are nice then they eat the mouse. If the dog chases the mouse and the mouse eats the dog then the dog eats the mouse. If someone chases the dog and they are nice then the dog needs the mouse. All blue people are young. If someone chases the dog then they are young.
The dog chases the dog.
@0: The dog chases the mouse.[(triple1)] The dog eats the mouse.[(triple2 OR ((triple1 triple8) -> rule3))] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog is young.[(triple5)] The dog needs the mouse.[(triple6)] The mouse chases the dog.[(triple7)] The mouse eats the dog.[(triple8)] The mouse is blue.[(triple9)] The mouse needs the dog.[(triple10 OR ((triple2 triple1) -> rule1) OR ((((triple1 triple8) -> rule3) triple1) -> rule1))] @1: The mouse is young.[(((triple7) -> rule6) OR ((triple9) -> rule5))]