The bear is big. The bear needs the rabbit. The bear needs the squirrel. The bear sees the dog. The bear sees the rabbit. The dog is green. The dog is young. The dog needs the squirrel. The rabbit chases the dog. The rabbit is green. The rabbit is rough. The squirrel is blue. The squirrel is rough. The squirrel needs the dog. The squirrel sees the dog. The squirrel sees the rabbit. If someone sees the bear and the bear sees the rabbit then the rabbit chases the squirrel. If the bear is big and the bear sees the dog then the bear needs the rabbit. If the dog sees the bear and the bear needs the dog then the bear is big. If the bear needs the rabbit then the bear chases the squirrel. If someone sees the bear then the bear chases the rabbit. If someone chases the squirrel then the squirrel needs the rabbit. If someone needs the bear and the bear sees the squirrel then the bear needs the dog. If someone sees the dog and the dog needs the rabbit then the dog is green.
The rabbit chases the bear.
@0: The bear is big.[(triple1)] The bear needs the rabbit.[(triple2 OR ((triple1 triple4) -> rule2))] The bear needs the squirrel.[(triple3)] The bear sees the dog.[(triple4)] The bear sees the rabbit.[(triple5)] The dog is green.[(triple6)] The dog is young.[(triple7)] The dog needs the squirrel.[(triple8)] The rabbit chases the dog.[(triple9)] The rabbit is green.[(triple10)] The rabbit is rough.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is rough.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel sees the dog.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The bear chases the squirrel.[(((triple2) -> rule4) OR ((((triple1 triple4) -> rule2)) -> rule4))] @2: The squirrel needs the rabbit.[(((((triple2) -> rule4)) -> rule6) OR ((((((triple1 triple4) -> rule2)) -> rule4)) -> rule6))]