The bear eats the squirrel. The mouse eats the squirrel. The mouse visits the bear. The mouse visits the rabbit. The rabbit sees the mouse. The rabbit sees the squirrel. The squirrel is big. The squirrel is rough. The squirrel sees the bear. The squirrel visits the mouse. The squirrel visits the rabbit. If the bear visits the squirrel then the squirrel eats the rabbit. If something eats the squirrel and it sees the bear then the bear eats the rabbit. If something is kind then it is blue. If something is rough and it visits the rabbit then it eats the mouse. If the bear visits the squirrel then the squirrel is big. If something is big and it eats the mouse then the mouse is kind. If something is blue then it sees the bear. If something sees the mouse then it eats the bear.
The squirrel is not kind.
@0: The bear eats the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2)] The mouse visits the bear.[(triple3)] The mouse visits the rabbit.[(triple4)] The rabbit sees the mouse.[(triple5)] The rabbit sees the squirrel.[(triple6)] The squirrel is big.[(triple7)] The squirrel is rough.[(triple8)] The squirrel sees the bear.[(triple9)] The squirrel visits the mouse.[(triple10)] The squirrel visits the rabbit.[(triple11)] @1: The rabbit eats the bear.[(((triple5) -> rule8))] The squirrel eats the mouse.[(((triple8 triple11) -> rule4))] @2: The mouse is kind.[(((triple7 ((triple8 triple11) -> rule4)) -> rule6))] @3: The mouse is blue.[(((((triple7 ((triple8 triple11) -> rule4)) -> rule6)) -> rule3))] @4: The mouse sees the bear.[(((((((triple7 ((triple8 triple11) -> rule4)) -> rule6)) -> rule3)) -> rule7))] @5: The bear eats the rabbit.[(((triple2 ((((((triple7 ((triple8 triple11) -> rule4)) -> rule6)) -> rule3)) -> rule7)) -> rule2))]