The bear eats the mouse. The bear is blue. The bear does not visit the mouse. The bear visits the squirrel. The mouse eats the bear. The mouse is not red. The mouse sees the squirrel. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel sees the mouse. If someone eats the squirrel then the squirrel is red. If someone is cold then they see the bear. If someone is blue then they eat the squirrel. If the mouse is red and the mouse is rough then the mouse eats the bear. If someone visits the bear then the bear visits the mouse. If someone is red then they eat the bear.
The squirrel does not eat the bear.
@0: The bear does not visit the mouse.[(triple3)] The bear eats the mouse.[(triple1)] The bear is blue.[(triple2)] The bear visits the squirrel.[(triple4)] The mouse eats the bear.[(triple5)] The mouse is not red.[(triple6)] The mouse sees the squirrel.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel sees the mouse.[(triple10)] @1: The bear eats the squirrel.[(((triple2) -> rule3))] @2: The squirrel is red.[(((((triple2) -> rule3)) -> rule1))] @3: The squirrel eats the bear.[(((((((triple2) -> rule3)) -> rule1)) -> rule6))]