The cat chases the mouse. The mouse is young. If something needs the cat then it does not chase the mouse. If something chases the cat then the cat does not like the mouse. If something chases the cat and it is young then it does not need the cat. If something chases the mouse then it does not need the cat. If something chases the cat and the cat does not chase the mouse then the mouse likes the cat. If something needs the mouse then the mouse does not like the cat. If something likes the cat and the cat does not chase the mouse then the cat is cold. If the cat does not chase the mouse and the mouse does not like the cat then the cat is cold.
The mouse is not young.
@0: The cat chases the mouse.[(triple1)] The mouse is young.[(triple2)] @1: The cat does not need the cat.[(((triple1) -> rule4))]