The cow does not chase the mouse. The cow eats the mouse. The cow is blue. The cow is not rough. The cow is round. The mouse chases the cow. The mouse does not eat the cow. The mouse is green. The mouse is young. The mouse visits the cow. If someone visits the cow then they do not eat the mouse. If someone chases the cow then the cow is blue. If someone visits the cow and they do not eat the mouse then they visit the mouse. If someone visits the mouse then they are young. If someone eats the cow then they are not young. If someone chases the cow and they visit the mouse then they are round. If someone is blue and they do not visit the cow then the cow does not chase the mouse. If the cow does not visit the mouse then the cow does not chase the mouse.
The mouse does not visit the mouse.
@0: The cow does not chase the mouse.[(triple1)] The cow eats the mouse.[(triple2)] The cow is blue.[(triple3 OR ((triple6) -> rule2))] The cow is not rough.[(triple4)] The cow is round.[(triple5)] The mouse chases the cow.[(triple6)] The mouse does not eat the cow.[(triple7)] The mouse is green.[(triple8)] The mouse is young.[(triple9 OR ((((triple10 ((triple10) -> rule1)) -> rule3)) -> rule4))] The mouse visits the cow.[(triple10)] @1: The mouse does not eat the mouse.[(((triple10) -> rule1))] @2: The mouse visits the mouse.[(((triple10 ((triple10) -> rule1)) -> rule3))] @3: The mouse is round.[(((triple6 ((triple10 ((triple10) -> rule1)) -> rule3)) -> rule6))]