The cat likes the mouse. The mouse is blue. If someone likes the mouse and the mouse likes the cat then the cat chases the mouse. If someone needs the cat then the cat is blue. If someone needs the cat then they need the mouse. Kind people are blue. If someone likes the mouse then they need the cat. If the cat likes the mouse and the cat needs the mouse then the mouse is nice.
The mouse does not chase the mouse.
@0: The cat likes the mouse.[(triple1)] The mouse is blue.[(triple2)] @1: The cat needs the cat.[(((triple1) -> rule5))] @2: The cat is blue.[(((((triple1) -> rule5)) -> rule2))] The cat needs the mouse.[(((((triple1) -> rule5)) -> rule3))] @3: The mouse is nice.[(((triple1 ((((triple1) -> rule5)) -> rule3)) -> rule6))]