The cow is blue. The cow is green. The cow is kind. The cow likes the mouse. The cow sees the mouse. The cow visits the mouse. The mouse is blue. The mouse is kind. The mouse is young. The mouse likes the cow. The mouse does not see the cow. The mouse visits the cow. If the mouse visits the cow and the cow does not like the mouse then the cow is not green. If something likes the mouse then the mouse likes the cow. If something is kind and it does not visit the mouse then it does not visit the cow. If something is green and not kind then it is not red. If the cow sees the mouse then the mouse is green. If something sees the cow then it sees the mouse.
The mouse does not see the mouse.
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow is kind.[(triple3)] The cow likes the mouse.[(triple4)] The cow sees the mouse.[(triple5)] The cow visits the mouse.[(triple6)] The mouse does not see the cow.[(triple11)] The mouse is blue.[(triple7)] The mouse is kind.[(triple8)] The mouse is young.[(triple9)] The mouse likes the cow.[(triple10 OR ((triple4) -> rule2))] The mouse visits the cow.[(triple12)] @1: The mouse is green.[(((triple5) -> rule5))]