The bear eats the dog. The bear eats the squirrel. The bear is big. The bear is rough. The bear needs the dog. The bear needs the squirrel. The bear sees the dog. The dog eats the squirrel. The dog is red. The dog is round. The dog sees the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel needs the dog. The squirrel sees the bear. The squirrel sees the dog. If someone is rough and they need the bear then the bear is rough. If someone is round then they eat the squirrel. If someone sees the squirrel and they are nice then they see the dog.
The dog does not see the dog.
@0: The bear eats the dog.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is big.[(triple3)] The bear is rough.[(triple4)] The bear needs the dog.[(triple5)] The bear needs the squirrel.[(triple6)] The bear sees the dog.[(triple7)] The dog eats the squirrel.[(triple8 OR ((triple10) -> rule2))] The dog is red.[(triple9)] The dog is round.[(triple10)] The dog sees the squirrel.[(triple11)] The squirrel eats the bear.[(triple12)] The squirrel is big.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel sees the bear.[(triple15)] The squirrel sees the dog.[(triple16)]