The dog is rough. The mouse needs the dog. If the dog needs the mouse and the dog is rough then the mouse eats the dog. If someone visits the dog then the dog eats the mouse. If someone is red and they need the dog then they visit the dog. If someone visits the dog and the dog eats the mouse then they need the mouse. If someone is rough then they are young. If someone eats the mouse and the mouse visits the dog then the mouse needs the dog. If someone is cold and they need the mouse then the mouse visits the dog. If someone visits the mouse and the mouse visits the dog then the mouse needs the dog.
The mouse does not need the dog.
@0: The dog is rough.[(triple1)] The mouse needs the dog.[(triple2)] @1: The dog is young.[(((triple1) -> rule5))]