The cow is round. The cow needs the rabbit. The mouse eats the cow. The mouse is blue. The mouse is not red. The mouse is not rough. The mouse needs the rabbit. The mouse visits the rabbit. The rabbit does not eat the cow. The rabbit eats the mouse. The rabbit visits the cow. The rabbit visits the mouse. If someone needs the cow and they are not red then they do not eat the rabbit. If someone needs the cow then they visit the rabbit. If someone visits the cow and they need the cow then the cow needs the mouse. If someone visits the rabbit then they need the rabbit. If the mouse eats the rabbit then the mouse is blue. If someone visits the mouse and the mouse is not rough then the mouse visits the cow.
The cow does not need the mouse.
@0: The cow is round.[(triple1)] The cow needs the rabbit.[(triple2)] The mouse eats the cow.[(triple3)] The mouse is blue.[(triple4)] The mouse is not red.[(triple5)] The mouse is not rough.[(triple6)] The mouse needs the rabbit.[(triple7 OR ((triple8) -> rule4))] The mouse visits the rabbit.[(triple8)] The rabbit does not eat the cow.[(triple9)] The rabbit eats the mouse.[(triple10)] The rabbit visits the cow.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The mouse visits the cow.[(((triple12 triple6) -> rule6))]