The lion is big. The lion is rough. The lion sees the mouse. The mouse likes the squirrel. The mouse sees the squirrel. The squirrel is kind. The squirrel is rough. The squirrel is young. The squirrel sees the lion. The squirrel sees the mouse. The squirrel visits the lion. The squirrel visits the mouse. If something likes the mouse and the mouse sees the lion then the lion likes the squirrel. If something likes the mouse and the mouse is kind then it likes the lion. If the lion is green then the lion is big. If something is kind and it visits the mouse then it likes the mouse. If the mouse likes the lion and the mouse sees the squirrel then the mouse visits the squirrel. If something likes the squirrel and the squirrel likes the lion then it is kind. If the squirrel likes the mouse and the squirrel is big then the squirrel is kind. If something is rough then it is green.
The lion visits the squirrel.
@0: The lion is big.[(triple1 OR ((((triple2) -> rule8)) -> rule3))] The lion is rough.[(triple2)] The lion sees the mouse.[(triple3)] The mouse likes the squirrel.[(triple4)] The mouse sees the squirrel.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is rough.[(triple7)] The squirrel is young.[(triple8)] The squirrel sees the lion.[(triple9)] The squirrel sees the mouse.[(triple10)] The squirrel visits the lion.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The lion is green.[(((triple2) -> rule8))] The squirrel is green.[(((triple7) -> rule8))] The squirrel likes the mouse.[(((triple6 triple12) -> rule4))]