The cat chases the mouse. The cat does not like the mouse. The cat likes the rabbit. The cat needs the mouse. The mouse is round. The rabbit chases the mouse. The rabbit likes the mouse. If something likes the mouse and it is round then it needs the rabbit. If something chases the rabbit and it is kind then it does not need the rabbit. If something needs the mouse and it needs the rabbit then it likes the mouse. If something needs the mouse and it is nice then it likes the mouse. If something needs the mouse then it is not green. If something likes the rabbit then the rabbit is red. If the cat does not like the rabbit then the rabbit does not need the mouse. If something chases the cat and it does not need the mouse then the mouse is red.
The rabbit does not like the mouse.
@0: The cat chases the mouse.[(triple1)] The cat does not like the mouse.[(triple2)] The cat likes the rabbit.[(triple3)] The cat needs the mouse.[(triple4)] The mouse is round.[(triple5)] The rabbit chases the mouse.[(triple6)] The rabbit likes the mouse.[(triple7)] @1: The cat is not green.[(((triple4) -> rule5))] The rabbit is red.[(((triple3) -> rule6))]