The dog eats the mouse. The dog is big. The dog is kind. The dog is rough. The dog sees the mouse. The dog visits the mouse. The mouse eats the dog. If someone eats the dog then the dog eats the mouse. If the mouse visits the dog then the mouse is red. If the mouse visits the dog and the dog is rough then the mouse eats the dog. If the mouse is red then the mouse eats the dog. If someone is green and they see the dog then they see the mouse. If someone is big then they visit the mouse.
The dog is not kind.
@0: The dog eats the mouse.[(triple1 OR ((triple7) -> rule1))] The dog is big.[(triple2)] The dog is kind.[(triple3)] The dog is rough.[(triple4)] The dog sees the mouse.[(triple5)] The dog visits the mouse.[(triple6 OR ((triple2) -> rule6))] The mouse eats the dog.[(triple7)]