The cat needs the mouse. The cow does not see the cat. The mouse is big. If something chases the cat then the cat is not nice. If something needs the mouse then the mouse is not nice. If something chases the cow and it is not nice then it sees the mouse.
The mouse is not young.
@0: The cat needs the mouse.[(triple1)] The cow does not see the cat.[(triple2)] The mouse is big.[(triple3)] @1: The mouse is not nice.[(((triple1) -> rule2))]