The bear sees the lion. The lion is round. The lion sees the squirrel. The lion visits the bear. The lion visits the squirrel. The squirrel is rough. The squirrel sees the bear. If the squirrel is not young then the squirrel needs the bear. If something needs the lion then it visits the bear. If something sees the squirrel and it visits the squirrel then the squirrel needs the lion. If something is round then it needs the lion. If the bear is big and the bear does not visit the squirrel then the bear visits the lion. If something sees the bear and the bear sees the squirrel then the bear is red.
The lion visits the bear.
@0: The bear sees the lion.[(triple1)] The lion is round.[(triple2)] The lion sees the squirrel.[(triple3)] The lion visits the bear.[(triple4 OR ((((triple2) -> rule4)) -> rule2))] The lion visits the squirrel.[(triple5)] The squirrel is rough.[(triple6)] The squirrel sees the bear.[(triple7)] @1: The lion needs the lion.[(((triple2) -> rule4))] The squirrel needs the lion.[(((triple3 triple5) -> rule3))] @2: The squirrel visits the bear.[(((((triple3 triple5) -> rule3)) -> rule2))]