The bear chases the squirrel. The bear eats the squirrel. The bear needs the rabbit. The dog chases the squirrel. The dog eats the bear. The dog eats the squirrel. The dog is kind. The dog needs the rabbit. The rabbit chases the bear. The rabbit is rough. The rabbit is round. The squirrel eats the bear. The squirrel eats the rabbit. The squirrel needs the dog. The squirrel needs the rabbit. If someone chases the bear then they need the dog. If someone is cold then they eat the dog. If someone needs the bear then the bear chases the squirrel. If the squirrel needs the dog and the squirrel eats the dog then the squirrel eats the rabbit. If the squirrel eats the bear then the bear needs the rabbit. If someone needs the squirrel then the squirrel needs the dog. If the squirrel needs the bear then the squirrel eats the bear. If someone chases the dog and the dog chases the bear then they eat the squirrel.
The dog chases the squirrel.
@0: The bear chases the squirrel.[(triple1)] The bear eats the squirrel.[(triple2)] The bear needs the rabbit.[(triple3 OR ((triple12) -> rule5))] The dog chases the squirrel.[(triple4)] The dog eats the bear.[(triple5)] The dog eats the squirrel.[(triple6)] The dog is kind.[(triple7)] The dog needs the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit is rough.[(triple10)] The rabbit is round.[(triple11)] The squirrel eats the bear.[(triple12)] The squirrel eats the rabbit.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel needs the rabbit.[(triple15)] @1: The rabbit needs the dog.[(((triple9) -> rule1))]