The cat is red. The cat needs the mouse. The cat does not see the mouse. The mouse eats the cat. The mouse is red. The mouse needs the cat. The mouse sees the cat. If the cat sees the mouse and the cat is not big then the cat eats the mouse. If something sees the cat then it is blue. If something is green then it needs the mouse.
The cat does not need the mouse.
@0: The cat does not see the mouse.[(triple3)] The cat is red.[(triple1)] The cat needs the mouse.[(triple2)] The mouse eats the cat.[(triple4)] The mouse is red.[(triple5)] The mouse needs the cat.[(triple6)] The mouse sees the cat.[(triple7)] @1: The mouse is blue.[(((triple7) -> rule2))]