The dog chases the mouse. The dog eats the mouse. The dog is rough. The dog is young. The dog needs the mouse. The mouse chases the dog. The mouse eats the dog. The mouse is nice. The mouse is red. The mouse is rough. The mouse is young. The mouse needs the dog. If something is red then it eats the dog.
The dog is young.
@0: The dog chases the mouse.[(triple1)] The dog eats the mouse.[(triple2)] The dog is rough.[(triple3)] The dog is young.[(triple4)] The dog needs the mouse.[(triple5)] The mouse chases the dog.[(triple6)] The mouse eats the dog.[(triple7 OR ((triple9) -> rule1))] The mouse is nice.[(triple8)] The mouse is red.[(triple9)] The mouse is rough.[(triple10)] The mouse is young.[(triple11)] The mouse needs the dog.[(triple12)]