The cow is green. The cow is not round. The cow does not need the dog. The cow visits the rabbit. The dog eats the mouse. The dog does not visit the mouse. The mouse does not eat the cow. The mouse eats the dog. The mouse needs the rabbit. The rabbit eats the cow. The rabbit eats the dog. The rabbit needs the cow. If someone visits the cow then the cow does not eat the mouse. If the cow is green then the cow does not visit the dog. If someone visits the mouse then they are not green. If someone needs the mouse and they do not eat the cow then the mouse eats the rabbit. If the dog needs the cow then the dog needs the rabbit. If someone visits the rabbit then the rabbit does not eat the mouse. If someone is green then they eat the rabbit. If someone eats the rabbit then the rabbit does not need the dog.
The dog is kind.
@0: The cow does not need the dog.[(triple3)] The cow is green.[(triple1)] The cow is not round.[(triple2)] The cow visits the rabbit.[(triple4)] The dog does not visit the mouse.[(triple6)] The dog eats the mouse.[(triple5)] The mouse does not eat the cow.[(triple7)] The mouse eats the dog.[(triple8)] The mouse needs the rabbit.[(triple9)] The rabbit eats the cow.[(triple10)] The rabbit eats the dog.[(triple11)] The rabbit needs the cow.[(triple12)] @1: The cow does not visit the dog.[(((triple1) -> rule2))] The cow eats the rabbit.[(((triple1) -> rule7))] The rabbit does not eat the mouse.[(((triple4) -> rule6))] @2: The rabbit does not need the dog.[(((((triple1) -> rule7)) -> rule8))]