The bear is cold. The cow sees the mouse. The mouse is not young. All nice people are not young. If someone sees the mouse then the mouse does not chase the cow. If someone chases the mouse then the mouse does not see the cow. If the cow is nice then the cow does not chase the mouse. If the cow sees the mouse and the mouse is young then the cow is not cold. If someone visits the mouse then the mouse is green.
The cow sees the mouse.
@0: The bear is cold.[(triple1)] The cow sees the mouse.[(triple2)] The mouse is not young.[(triple3)] @1: The mouse does not chase the cow.[(((triple2) -> rule2))]