The cat likes the squirrel. The mouse chases the squirrel. The squirrel likes the mouse. If something is nice then it likes the cat. If something needs the squirrel then it needs the mouse. If something likes the squirrel then the squirrel is nice. If something needs the mouse then the mouse needs the squirrel. If something likes the cat then the cat chases the mouse. If something likes the cat and it does not need the mouse then it does not chase the cat.
The mouse does not like the cat.
@0: The cat likes the squirrel.[(triple1)] The mouse chases the squirrel.[(triple2)] The squirrel likes the mouse.[(triple3)] @1: The squirrel is nice.[(((triple1) -> rule3))] @2: The squirrel likes the cat.[(((((triple1) -> rule3)) -> rule1))] @3: The cat chases the mouse.[(((((((triple1) -> rule3)) -> rule1)) -> rule5))]