The bear chases the squirrel. The bear sees the dog. The bear sees the squirrel. The dog chases the bear. The dog chases the squirrel. The dog is round. The dog needs the bear. The dog sees the squirrel. The rabbit does not chase the bear. The rabbit chases the squirrel. The rabbit is kind. The rabbit needs the squirrel. The squirrel does not chase the bear. The squirrel chases the rabbit. The squirrel sees the rabbit. If someone is round and kind then they chase the rabbit. If someone chases the dog then they need the squirrel. If someone chases the bear and they see the squirrel then the bear is not green. If the squirrel needs the rabbit then the squirrel needs the dog. If the dog is not kind then the dog chases the bear. If someone needs the rabbit then the rabbit is big. If someone needs the rabbit then the rabbit does not chase the dog. If the rabbit is round and the rabbit does not chase the dog then the dog sees the rabbit.
The bear sees the squirrel.
@0: The bear chases the squirrel.[(triple1)] The bear sees the dog.[(triple2)] The bear sees the squirrel.[(triple3)] The dog chases the bear.[(triple4)] The dog chases the squirrel.[(triple5)] The dog is round.[(triple6)] The dog needs the bear.[(triple7)] The dog sees the squirrel.[(triple8)] The rabbit chases the squirrel.[(triple10)] The rabbit does not chase the bear.[(triple9)] The rabbit is kind.[(triple11)] The rabbit needs the squirrel.[(triple12)] The squirrel chases the rabbit.[(triple14)] The squirrel does not chase the bear.[(triple13)] The squirrel sees the rabbit.[(triple15)] @1: The bear is not green.[(((triple4 triple8) -> rule3))]