The bear is young. The dog is red. The mouse does not like the dog. The rabbit is kind. If something likes the bear then it does not chase the dog. If something chases the rabbit and it chases the mouse then the mouse likes the dog. If something chases the rabbit then it visits the mouse. If something is kind then it chases the rabbit. If the bear does not like the mouse and the mouse does not like the rabbit then the mouse is not young. If something visits the mouse then it is rough.
The rabbit does not chase the rabbit.
@0: The bear is young.[(triple1)] The dog is red.[(triple2)] The mouse does not like the dog.[(triple3)] The rabbit is kind.[(triple4)] @1: The rabbit chases the rabbit.[(((triple4) -> rule4))] @2: The rabbit visits the mouse.[(((((triple4) -> rule4)) -> rule3))] @3: The rabbit is rough.[(((((((triple4) -> rule4)) -> rule3)) -> rule6))]