The cow chases the mouse. The cow is cold. The cow is not kind. The mouse chases the cow. The mouse eats the cow. The mouse is rough. The mouse does not see the cow. If something eats the mouse then it chases the mouse. If something is cold and it sees the cow then it chases the mouse. If something eats the mouse and it is cold then the mouse does not see the cow. If something is kind then it sees the cow. If something is cold and it does not eat the mouse then it is not kind. If something chases the mouse then it is green. If the mouse is not kind and the mouse is not round then the mouse eats the cow. If the mouse does not eat the cow then the mouse is green.
The mouse is not green.
@0: The cow chases the mouse.[(triple1)] The cow is cold.[(triple2)] The cow is not kind.[(triple3)] The mouse chases the cow.[(triple4)] The mouse does not see the cow.[(triple7)] The mouse eats the cow.[(triple5)] The mouse is rough.[(triple6)] @1: The cow is green.[(((triple1) -> rule6))]