The bear does not chase the mouse. The bear eats the mouse. The bear is green. The bear is round. The dog is blue. The dog is kind. The mouse is red. If someone is green then they chase the dog. If the dog eats the bear then the bear eats the dog. If someone chases the dog then they are not blue.
The mouse does not chase the dog.
@0: The bear does not chase the mouse.[(triple1)] The bear eats the mouse.[(triple2)] The bear is green.[(triple3)] The bear is round.[(triple4)] The dog is blue.[(triple5)] The dog is kind.[(triple6)] The mouse is red.[(triple7)] @1: The bear chases the dog.[(((triple3) -> rule1))] @2: The bear is not blue.[(((((triple3) -> rule1)) -> rule3))]