The cat is young. The dog needs the mouse. The mouse is nice. If the mouse is not rough then the mouse needs the cat. If something is young then it likes the mouse. If something eats the dog then it likes the mouse. If the mouse is rough and the cat does not need the mouse then the mouse eats the cat. If something likes the dog and the dog is rough then it is young. If something likes the mouse and the mouse needs the cat then the mouse does not need the dog. If something likes the dog then the dog likes the mouse. If something likes the mouse then the mouse likes the dog.
The cat does not need the dog.
@0: The cat is young.[(triple1)] The dog needs the mouse.[(triple2)] The mouse is nice.[(triple3)] @1: The cat likes the mouse.[(((triple1) -> rule2))] @2: The mouse likes the dog.[(((((triple1) -> rule2)) -> rule8))] @3: The dog likes the mouse.[(((((((triple1) -> rule2)) -> rule8)) -> rule7))]