The cow does not chase the mouse. The cow is blue. The cow is green. The cow is nice. The cow is young. The cow sees the mouse. The cow visits the mouse. The mouse chases the cow. The mouse is not blue. The mouse is green. The mouse is not young. The mouse sees the cow. If someone is kind and they see the mouse then the mouse visits the cow. If someone chases the mouse then the mouse visits the cow. If the cow sees the mouse then the mouse visits the cow. If someone sees the mouse then they do not visit the cow. If someone is kind and they see the cow then the cow does not see the mouse. If someone sees the cow and they are young then the cow does not see the mouse. If someone visits the cow and they are not young then they chase the mouse. If someone visits the mouse and they are not young then they are not nice.
The mouse sees the cow.
@0: The cow does not chase the mouse.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is nice.[(triple4)] The cow is young.[(triple5)] The cow sees the mouse.[(triple6)] The cow visits the mouse.[(triple7)] The mouse chases the cow.[(triple8)] The mouse is green.[(triple10)] The mouse is not blue.[(triple9)] The mouse is not young.[(triple11)] The mouse sees the cow.[(triple12)] @1: The cow does not visit the cow.[(((triple6) -> rule4))] The mouse visits the cow.[(((triple6) -> rule3))] @2: The mouse chases the mouse.[(((((triple6) -> rule3) triple11) -> rule7))]