The bear eats the lion. The bear eats the squirrel. The lion eats the bear. The lion eats the squirrel. The squirrel eats the bear. The squirrel eats the lion. The squirrel is big. The squirrel is green. The squirrel sees the bear. The squirrel sees the lion. If something eats the squirrel and the squirrel visits the lion then the squirrel sees the lion. If the bear eats the squirrel then the bear is round. If something visits the squirrel and the squirrel eats the lion then it is big. If something visits the lion then the lion eats the squirrel. If something sees the bear and the bear sees the squirrel then it visits the bear. If something sees the lion and the lion is big then it visits the squirrel. If something eats the lion then the lion visits the squirrel. If the lion sees the bear and the lion sees the squirrel then the squirrel visits the lion.
The squirrel sees the lion.
@0: The bear eats the lion.[(triple1)] The bear eats the squirrel.[(triple2)] The lion eats the bear.[(triple3)] The lion eats the squirrel.[(triple4)] The squirrel eats the bear.[(triple5)] The squirrel eats the lion.[(triple6)] The squirrel is big.[(triple7 OR ((((triple10 ((((triple1) -> rule7) triple6) -> rule3)) -> rule6) triple6) -> rule3) OR ((((triple10 ((((triple6) -> rule7) triple6) -> rule3)) -> rule6) triple6) -> rule3))] The squirrel is green.[(triple8)] The squirrel sees the bear.[(triple9)] The squirrel sees the lion.[(triple10)] @1: The bear is round.[(((triple2) -> rule2))] The lion visits the squirrel.[(((triple1) -> rule7) OR ((triple6) -> rule7))] @2: The lion is big.[(((((triple1) -> rule7) triple6) -> rule3) OR ((((triple6) -> rule7) triple6) -> rule3))] @3: The squirrel visits the squirrel.[(((triple10 ((((triple1) -> rule7) triple6) -> rule3)) -> rule6) OR ((triple10 ((((triple6) -> rule7) triple6) -> rule3)) -> rule6))]