The bear does not like the dog. The bear likes the lion. The bear needs the dog. The bear needs the lion. The dog eats the lion. The dog is kind. The dog needs the lion. The lion eats the bear. The lion is rough. The lion is young. The lion likes the dog. The lion needs the dog. If someone likes the bear then they need the lion. If someone needs the lion then the lion eats the bear. If the bear needs the lion then the bear is kind. If someone eats the dog and they need the lion then the lion does not eat the dog. If the dog is kind then the dog is rough. If someone eats the lion then they are young. If someone is kind and they do not eat the dog then they eat the lion. If someone is kind then they eat the lion.
The bear is not young.
@0: The bear does not like the dog.[(triple1)] The bear likes the lion.[(triple2)] The bear needs the dog.[(triple3)] The bear needs the lion.[(triple4)] The dog eats the lion.[(triple5 OR ((triple6) -> rule8))] The dog is kind.[(triple6)] The dog needs the lion.[(triple7)] The lion eats the bear.[(triple8 OR ((triple4) -> rule2) OR ((triple7) -> rule2))] The lion is rough.[(triple9)] The lion is young.[(triple10)] The lion likes the dog.[(triple11)] The lion needs the dog.[(triple12)] @1: The bear is kind.[(((triple4) -> rule3))] The dog is rough.[(((triple6) -> rule5))] The dog is young.[(((triple5) -> rule6) OR ((((triple6) -> rule8)) -> rule6))] @2: The bear eats the lion.[(((((triple4) -> rule3)) -> rule8))] @3: The bear is young.[(((((((triple4) -> rule3)) -> rule8)) -> rule6))]