The lion eats the squirrel. The lion is rough. The lion likes the mouse. The lion likes the squirrel. The mouse is kind. The mouse likes the lion. The mouse likes the squirrel. The mouse visits the lion. The mouse visits the squirrel. The squirrel is big. The squirrel likes the lion. The squirrel likes the mouse. If the mouse visits the lion and the lion is nice then the mouse visits the squirrel. If something visits the lion then the lion eats the mouse. If something is big and it likes the lion then the lion likes the mouse.
The squirrel does not like the lion.
@0: The lion eats the squirrel.[(triple1)] The lion is rough.[(triple2)] The lion likes the mouse.[(triple3 OR ((triple10 triple11) -> rule3))] The lion likes the squirrel.[(triple4)] The mouse is kind.[(triple5)] The mouse likes the lion.[(triple6)] The mouse likes the squirrel.[(triple7)] The mouse visits the lion.[(triple8)] The mouse visits the squirrel.[(triple9)] The squirrel is big.[(triple10)] The squirrel likes the lion.[(triple11)] The squirrel likes the mouse.[(triple12)] @1: The lion eats the mouse.[(((triple8) -> rule2))]