The cat needs the mouse. The mouse is blue. If something is rough and it likes the cat then it needs the cat. If something is blue then it chases the cat. If something is red and it likes the cat then it likes the mouse. If something is nice and it needs the mouse then the mouse is green. If something needs the cat then the cat chases the mouse. If something needs the cat then it is rough.
The mouse is not blue.
@0: The cat needs the mouse.[(triple1)] The mouse is blue.[(triple2)] @1: The mouse chases the cat.[(((triple2) -> rule2))]