The bear is green. The bear sees the mouse. The lion is cold. The lion likes the bear. The lion likes the mouse. The lion visits the squirrel. The mouse likes the bear. The mouse sees the bear. The mouse visits the lion. The squirrel is big. The squirrel sees the bear. The squirrel visits the mouse. If someone is kind then they like the mouse. If someone likes the lion then the lion is rough. If the squirrel likes the lion then the lion visits the squirrel. If someone sees the mouse and they are kind then the mouse visits the bear. If the lion visits the squirrel then the squirrel visits the bear. If the mouse likes the squirrel and the squirrel sees the lion then the squirrel is kind.
The mouse is rough.
@0: The bear is green.[(triple1)] The bear sees the mouse.[(triple2)] The lion is cold.[(triple3)] The lion likes the bear.[(triple4)] The lion likes the mouse.[(triple5)] The lion visits the squirrel.[(triple6)] The mouse likes the bear.[(triple7)] The mouse sees the bear.[(triple8)] The mouse visits the lion.[(triple9)] The squirrel is big.[(triple10)] The squirrel sees the bear.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The squirrel visits the bear.[(((triple6) -> rule5))]