The dog is rough. The mouse is kind. The mouse needs the dog. If something likes the dog and the dog needs the mouse then it is kind. If something needs the dog then the dog is not young. If something visits the mouse and the mouse is not round then it likes the mouse. If something likes the mouse and the mouse needs the dog then the mouse visits the dog. If something needs the mouse then the mouse visits the dog. If the dog visits the mouse and the dog is red then the dog does not need the mouse. If the mouse likes the dog then the mouse does not need the dog. If something is young then it likes the dog.
The dog visits the dog.
@0: The dog is rough.[(triple1)] The mouse is kind.[(triple2)] The mouse needs the dog.[(triple3)] @1: The dog is not young.[(((triple3) -> rule2))]