The lion chases the mouse. The lion chases the squirrel. The lion is rough. The mouse chases the lion. The mouse likes the squirrel. The squirrel chases the lion. The squirrel is green. The squirrel is rough. The squirrel is round. The squirrel likes the mouse. The squirrel visits the lion. The squirrel visits the mouse. If someone likes the lion then they like the mouse. If someone is rough and they visit the mouse then they are green. If the lion visits the mouse and the lion likes the squirrel then the lion visits the squirrel.
The squirrel likes the mouse.
@0: The lion chases the mouse.[(triple1)] The lion chases the squirrel.[(triple2)] The lion is rough.[(triple3)] The mouse chases the lion.[(triple4)] The mouse likes the squirrel.[(triple5)] The squirrel chases the lion.[(triple6)] The squirrel is green.[(triple7 OR ((triple8 triple12) -> rule2))] The squirrel is rough.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the mouse.[(triple10)] The squirrel visits the lion.[(triple11)] The squirrel visits the mouse.[(triple12)]