The cow does not need the rabbit. The cow visits the mouse. The cow visits the rabbit. The mouse does not eat the cow. The mouse is not blue. The mouse needs the cow. The rabbit eats the cow. The rabbit is not round. The rabbit needs the cow. The rabbit does not visit the cow. If someone visits the rabbit then they need the cow. If someone needs the cow then the cow does not eat the rabbit. If someone needs the cow then they are young.
The cow does not visit the mouse.
@0: The cow does not need the rabbit.[(triple1)] The cow visits the mouse.[(triple2)] The cow visits the rabbit.[(triple3)] The mouse does not eat the cow.[(triple4)] The mouse is not blue.[(triple5)] The mouse needs the cow.[(triple6)] The rabbit does not visit the cow.[(triple10)] The rabbit eats the cow.[(triple7)] The rabbit is not round.[(triple8)] The rabbit needs the cow.[(triple9)] @1: The cow does not eat the rabbit.[(((triple6) -> rule2) OR ((triple9) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] The cow needs the cow.[(((triple3) -> rule1))] The mouse is young.[(((triple6) -> rule3))] The rabbit is young.[(((triple9) -> rule3))] @2: The cow is young.[(((((triple3) -> rule1)) -> rule3))]