The dog chases the mouse. The dog does not eat the mouse. The dog is big. The dog is rough. The dog is young. The dog likes the mouse. The mouse does not chase the dog. The mouse eats the dog. The mouse is young. The mouse likes the dog. If something eats the dog then the dog does not eat the mouse. If something likes the dog and it is young then it eats the dog.
The dog does not eat the dog.
@0: The dog chases the mouse.[(triple1)] The dog does not eat the mouse.[(triple2 OR ((triple8) -> rule1) OR ((((triple10 triple9) -> rule2)) -> rule1))] The dog is big.[(triple3)] The dog is rough.[(triple4)] The dog is young.[(triple5)] The dog likes the mouse.[(triple6)] The mouse does not chase the dog.[(triple7)] The mouse eats the dog.[(triple8 OR ((triple10 triple9) -> rule2))] The mouse is young.[(triple9)] The mouse likes the dog.[(triple10)]