The dog is not rough. The mouse eats the dog. The mouse eats the rabbit. The mouse is big. The mouse needs the dog. The mouse needs the rabbit. The rabbit is rough. If someone eats the rabbit then the rabbit does not need the dog. If the dog visits the rabbit then the rabbit visits the mouse. If someone needs the mouse and they are not nice then the mouse visits the rabbit. If the rabbit needs the mouse and the mouse eats the rabbit then the rabbit is rough. If the rabbit visits the mouse and the rabbit is round then the mouse needs the dog. If the rabbit visits the dog then the dog is rough. If someone eats the dog then the dog visits the rabbit. If the mouse is round and the mouse does not eat the dog then the dog does not need the mouse.
The mouse is cold.
@0: The dog is not rough.[(triple1)] The mouse eats the dog.[(triple2)] The mouse eats the rabbit.[(triple3)] The mouse is big.[(triple4)] The mouse needs the dog.[(triple5)] The mouse needs the rabbit.[(triple6)] The rabbit is rough.[(triple7)] @1: The dog visits the rabbit.[(((triple2) -> rule7))] The rabbit does not need the dog.[(((triple3) -> rule1))] @2: The rabbit visits the mouse.[(((((triple2) -> rule7)) -> rule2))]