The bear is big. The bear needs the dog. The bear sees the squirrel. The dog is nice. The dog needs the bear. The dog sees the lion. The lion chases the squirrel. The lion is nice. The lion is young. The lion sees the dog. The squirrel chases the lion. The squirrel needs the bear. The squirrel needs the dog. The squirrel does not need the lion. The squirrel does not see the bear. The squirrel sees the dog. If something is young then it sees the lion. If something is round then it sees the bear. If something chases the dog then the dog chases the squirrel. If the dog chases the lion then the dog chases the bear. If something is young then it chases the squirrel. If something sees the lion and the lion chases the dog then the dog sees the squirrel.
The lion sees the dog.
@0: The bear is big.[(triple1)] The bear needs the dog.[(triple2)] The bear sees the squirrel.[(triple3)] The dog is nice.[(triple4)] The dog needs the bear.[(triple5)] The dog sees the lion.[(triple6)] The lion chases the squirrel.[(triple7 OR ((triple9) -> rule5))] The lion is nice.[(triple8)] The lion is young.[(triple9)] The lion sees the dog.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel does not need the lion.[(triple14)] The squirrel does not see the bear.[(triple15)] The squirrel needs the bear.[(triple12)] The squirrel needs the dog.[(triple13)] The squirrel sees the dog.[(triple16)] @1: The lion sees the lion.[(((triple9) -> rule1))]