The bear is young. The lion chases the bear. The lion chases the rabbit. The rabbit chases the bear. The rabbit chases the lion. The rabbit is round. The squirrel chases the bear. The squirrel is kind. The squirrel is round. The squirrel is young. If something is kind then it chases the lion. If something visits the lion then it visits the bear. If something chases the lion then the lion sees the squirrel. If the bear sees the lion and the lion chases the rabbit then the lion is kind. If the lion chases the bear and the lion chases the squirrel then the lion is kind. If something sees the squirrel then it visits the squirrel. If something visits the squirrel and the squirrel chases the rabbit then the rabbit chases the lion. If something is young then it sees the lion.
The lion does not visit the squirrel.
@0: The bear is young.[(triple1)] The lion chases the bear.[(triple2)] The lion chases the rabbit.[(triple3)] The rabbit chases the bear.[(triple4)] The rabbit chases the lion.[(triple5)] The rabbit is round.[(triple6)] The squirrel chases the bear.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is round.[(triple9)] The squirrel is young.[(triple10)] @1: The bear sees the lion.[(((triple1) -> rule8))] The lion sees the squirrel.[(((triple5) -> rule3) OR ((((triple8) -> rule1)) -> rule3) OR ((((((((triple1) -> rule8) triple3) -> rule4)) -> rule1)) -> rule3))] The squirrel chases the lion.[(((triple8) -> rule1))] The squirrel sees the lion.[(((triple10) -> rule8))] @2: The lion is kind.[(((((triple1) -> rule8) triple3) -> rule4))] The lion visits the squirrel.[(((((triple5) -> rule3)) -> rule6) OR ((((((triple8) -> rule1)) -> rule3)) -> rule6) OR ((((((((((triple1) -> rule8) triple3) -> rule4)) -> rule1)) -> rule3)) -> rule6))] @3: The lion chases the lion.[(((((((triple1) -> rule8) triple3) -> rule4)) -> rule1))]