The cat eats the mouse. The lion chases the cat. The mouse is blue. If something chases the cat then it is round.
The lion does not chase the cat.
@0: The cat eats the mouse.[(triple1)] The lion chases the cat.[(triple2)] The mouse is blue.[(triple3)] @1: The lion is round.[(((triple2) -> rule1))]