The cow is not big. The dog is not kind. The mouse eats the dog. The tiger does not eat the mouse. If the cow eats the mouse and the cow does not eat the dog then the dog eats the tiger. If something visits the tiger then the tiger needs the mouse. If something needs the dog and it is rough then the dog does not eat the mouse. If the mouse eats the dog and the mouse needs the dog then the dog does not visit the cow. If something eats the tiger then it does not visit the mouse. If the mouse eats the dog then the dog visits the tiger. If something eats the dog then it does not eat the mouse. If something needs the mouse then the mouse needs the dog.
The dog is kind.
@0: The cow is not big.[(triple1)] The dog is not kind.[(triple2)] The mouse eats the dog.[(triple3)] The tiger does not eat the mouse.[(triple4)] @1: The dog visits the tiger.[(((triple3) -> rule6))] The mouse does not eat the mouse.[(((triple3) -> rule7))] @2: The tiger needs the mouse.[(((((triple3) -> rule6)) -> rule2))] @3: The mouse needs the dog.[(((((((triple3) -> rule6)) -> rule2)) -> rule8))] @4: The dog does not visit the cow.[(((triple3 ((((((triple3) -> rule6)) -> rule2)) -> rule8)) -> rule4))]