The bear chases the lion. The bear is not young. The dog chases the bear. The dog chases the lion. The dog chases the squirrel. The dog sees the lion. The dog visits the squirrel. The lion does not chase the bear. The lion does not chase the squirrel. The lion is not red. The squirrel chases the bear. The squirrel chases the dog. The squirrel is green. The squirrel is round. The squirrel is young. The squirrel sees the dog. If something visits the bear then it sees the bear. If something sees the bear then the bear sees the dog. If something visits the dog and the dog is young then the dog sees the bear. If something is green then it sees the dog. If something sees the dog then it visits the bear.
The squirrel does not visit the bear.
@0: The bear chases the lion.[(triple1)] The bear is not young.[(triple2)] The dog chases the bear.[(triple3)] The dog chases the lion.[(triple4)] The dog chases the squirrel.[(triple5)] The dog sees the lion.[(triple6)] The dog visits the squirrel.[(triple7)] The lion does not chase the bear.[(triple8)] The lion does not chase the squirrel.[(triple9)] The lion is not red.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel chases the dog.[(triple12)] The squirrel is green.[(triple13)] The squirrel is round.[(triple14)] The squirrel is young.[(triple15)] The squirrel sees the dog.[(triple16 OR ((triple13) -> rule4))] @1: The squirrel visits the bear.[(((triple16) -> rule5) OR ((((triple13) -> rule4)) -> rule5))] @2: The squirrel sees the bear.[(((((triple16) -> rule5)) -> rule1) OR ((((((triple13) -> rule4)) -> rule5)) -> rule1))] @3: The bear sees the dog.[(((((((triple16) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple13) -> rule4)) -> rule5)) -> rule1)) -> rule2))] @4: The bear visits the bear.[(((((((((triple16) -> rule5)) -> rule1)) -> rule2)) -> rule5) OR ((((((((((triple13) -> rule4)) -> rule5)) -> rule1)) -> rule2)) -> rule5))] @5: The bear sees the bear.[(((((((((((triple16) -> rule5)) -> rule1)) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple13) -> rule4)) -> rule5)) -> rule1)) -> rule2)) -> rule5)) -> rule1))]