The bear eats the mouse. The bear is round. The bear sees the squirrel. The bear visits the mouse. The bear visits the squirrel. The mouse is blue. The mouse is green. The mouse sees the bear. The mouse sees the squirrel. The mouse visits the bear. The squirrel eats the bear. The squirrel eats the mouse. The squirrel is green. The squirrel is red. The squirrel sees the mouse. If the bear eats the mouse and the mouse eats the squirrel then the mouse visits the bear. If someone visits the mouse and they see the bear then the mouse is blue. If the mouse is green then the mouse eats the squirrel. If someone sees the mouse then they are big. If someone visits the mouse then they see the squirrel. If someone visits the mouse then the mouse visits the bear. If someone eats the squirrel and the squirrel is big then the squirrel visits the mouse. If someone sees the bear then the bear eats the mouse.
The squirrel is blue.
@0: The bear eats the mouse.[(triple1 OR ((triple8) -> rule8))] The bear is round.[(triple2)] The bear sees the squirrel.[(triple3 OR ((triple4) -> rule5))] The bear visits the mouse.[(triple4)] The bear visits the squirrel.[(triple5)] The mouse is blue.[(triple6)] The mouse is green.[(triple7)] The mouse sees the bear.[(triple8)] The mouse sees the squirrel.[(triple9)] The mouse visits the bear.[(triple10 OR ((triple4) -> rule6) OR ((triple1 ((triple7) -> rule3)) -> rule1) OR ((((triple8) -> rule8) ((triple7) -> rule3)) -> rule1) OR ((((((triple7) -> rule3) ((triple15) -> rule4)) -> rule7)) -> rule6))] The squirrel eats the bear.[(triple11)] The squirrel eats the mouse.[(triple12)] The squirrel is green.[(triple13)] The squirrel is red.[(triple14)] The squirrel sees the mouse.[(triple15)] @1: The mouse eats the squirrel.[(((triple7) -> rule3))] The squirrel is big.[(((triple15) -> rule4))] @2: The squirrel visits the mouse.[(((((triple7) -> rule3) ((triple15) -> rule4)) -> rule7))] @3: The squirrel sees the squirrel.[(((((((triple7) -> rule3) ((triple15) -> rule4)) -> rule7)) -> rule5))]