The cow needs the dog. The dog does not chase the mouse. The mouse is rough. The rabbit chases the mouse. If the mouse does not need the dog and the dog is not round then the mouse is not big. If someone chases the mouse then the mouse likes the cow. If someone chases the dog and they do not like the rabbit then they are green. If the mouse needs the dog and the dog likes the rabbit then the mouse likes the dog. If someone likes the cow then the cow is round. If someone is rough and not big then they need the rabbit. If someone needs the rabbit then they chase the rabbit. If someone chases the rabbit and the rabbit likes the dog then they do not like the dog.
The rabbit needs the rabbit.
@0: The cow needs the dog.[(triple1)] The dog does not chase the mouse.[(triple2)] The mouse is rough.[(triple3)] The rabbit chases the mouse.[(triple4)] @1: The mouse likes the cow.[(((triple4) -> rule2))] @2: The cow is round.[(((((triple4) -> rule2)) -> rule5))]