The cow eats the dog. The cow does not need the rabbit. The cow does not visit the dog. The dog eats the cow. The dog is red. The mouse needs the dog. The rabbit visits the mouse. If someone needs the cow then the cow needs the dog. If someone is nice then they need the cow. If someone needs the mouse and they are not green then the mouse needs the dog. If someone needs the cow then the cow needs the mouse. If the rabbit visits the dog and the dog is not round then the rabbit is nice. If someone eats the cow then they are nice. If someone visits the cow then the cow visits the rabbit. If someone visits the dog and the dog does not visit the rabbit then they visit the cow.
The dog is not nice.
@0: The cow does not need the rabbit.[(triple2)] The cow does not visit the dog.[(triple3)] The cow eats the dog.[(triple1)] The dog eats the cow.[(triple4)] The dog is red.[(triple5)] The mouse needs the dog.[(triple6)] The rabbit visits the mouse.[(triple7)] @1: The dog is nice.[(((triple4) -> rule6))] @2: The dog needs the cow.[(((((triple4) -> rule6)) -> rule2))] @3: The cow needs the dog.[(((((((triple4) -> rule6)) -> rule2)) -> rule1))] The cow needs the mouse.[(((((((triple4) -> rule6)) -> rule2)) -> rule4))]