The bear chases the squirrel. The dog eats the bear. The dog eats the squirrel. The dog does not see the mouse. The mouse chases the squirrel. The mouse eats the bear. The mouse does not eat the squirrel. The squirrel does not eat the dog. The squirrel is red. The squirrel is round. The squirrel sees the bear. The squirrel sees the mouse. If the bear is kind and the bear chases the mouse then the mouse chases the dog. If the mouse sees the squirrel and the squirrel does not eat the mouse then the squirrel eats the dog. If someone chases the squirrel then they see the dog. If someone sees the dog then they are red. If someone sees the mouse and the mouse is red then they eat the squirrel. If someone sees the dog and they are not red then they see the bear.
The bear does not see the bear.
@0: The bear chases the squirrel.[(triple1)] The dog does not see the mouse.[(triple4)] The dog eats the bear.[(triple2)] The dog eats the squirrel.[(triple3)] The mouse chases the squirrel.[(triple5)] The mouse does not eat the squirrel.[(triple7)] The mouse eats the bear.[(triple6)] The squirrel does not eat the dog.[(triple8)] The squirrel is red.[(triple9)] The squirrel is round.[(triple10)] The squirrel sees the bear.[(triple11)] The squirrel sees the mouse.[(triple12)] @1: The bear sees the dog.[(((triple1) -> rule3))] The mouse sees the dog.[(((triple5) -> rule3))] @2: The bear is red.[(((((triple1) -> rule3)) -> rule4))] The mouse is red.[(((((triple5) -> rule3)) -> rule4))] @3: The squirrel eats the squirrel.[(((triple12 ((((triple5) -> rule3)) -> rule4)) -> rule5))]