The cow is red. The cow needs the mouse. The cow sees the mouse. The cow visits the mouse. The mouse is blue. The mouse is green. The mouse is red. The mouse needs the cow. The mouse sees the cow. The mouse visits the cow. If the cow needs the mouse then the cow visits the mouse. If someone is green then they see the cow.
The cow does not visit the mouse.
@0: The cow is red.[(triple1)] The cow needs the mouse.[(triple2)] The cow sees the mouse.[(triple3)] The cow visits the mouse.[(triple4 OR ((triple2) -> rule1))] The mouse is blue.[(triple5)] The mouse is green.[(triple6)] The mouse is red.[(triple7)] The mouse needs the cow.[(triple8)] The mouse sees the cow.[(triple9 OR ((triple6) -> rule2))] The mouse visits the cow.[(triple10)]