The bear chases the lion. The bear eats the dog. The bear is red. The bear needs the dog. The dog chases the lion. The dog eats the lion. The dog is blue. The dog is rough. The dog is young. The dog needs the lion. The lion chases the bear. The lion chases the dog. The lion is blue. The lion is rough. The lion needs the dog. If someone is young and they need the bear then they need the lion. If someone eats the lion and they are blue then they need the dog. If someone needs the bear then the bear is blue. If someone chases the dog and the dog is young then the dog eats the bear. If someone is red and blue then they eat the lion. If someone eats the lion then the lion is red. If someone is big then they eat the bear. If the bear needs the lion and the bear needs the dog then the lion eats the bear.
The lion does not chase the bear.
@0: The bear chases the lion.[(triple1)] The bear eats the dog.[(triple2)] The bear is red.[(triple3)] The bear needs the dog.[(triple4)] The dog chases the lion.[(triple5)] The dog eats the lion.[(triple6)] The dog is blue.[(triple7)] The dog is rough.[(triple8)] The dog is young.[(triple9)] The dog needs the lion.[(triple10)] The lion chases the bear.[(triple11)] The lion chases the dog.[(triple12)] The lion is blue.[(triple13)] The lion is rough.[(triple14)] The lion needs the dog.[(triple15 OR ((((((triple6) -> rule6) triple13) -> rule5) triple13) -> rule2))] @1: The dog eats the bear.[(((triple12 triple9) -> rule4))] The dog needs the dog.[(((triple6 triple7) -> rule2))] The lion is red.[(((triple6) -> rule6))] @2: The lion eats the lion.[(((((triple6) -> rule6) triple13) -> rule5))]