The bear eats the lion. The bear likes the lion. The cow is nice. The cow is round. The cow likes the bear. The cow needs the bear. The lion is nice. The lion is young. The lion likes the bear. The lion needs the bear. If someone needs the cow and the cow eats the lion then they eat the cow. If someone needs the bear then the bear needs the cow. If someone likes the bear then the bear eats the lion. If someone eats the bear then the bear needs the lion. If someone likes the lion and they are big then the lion likes the bear. If someone likes the bear and the bear eats the cow then the bear is rough.
The cow does not eat the cow.
@0: The bear eats the lion.[(triple1 OR ((triple5) -> rule3) OR ((triple9) -> rule3))] The bear likes the lion.[(triple2)] The cow is nice.[(triple3)] The cow is round.[(triple4)] The cow likes the bear.[(triple5)] The cow needs the bear.[(triple6)] The lion is nice.[(triple7)] The lion is young.[(triple8)] The lion likes the bear.[(triple9)] The lion needs the bear.[(triple10)] @1: The bear needs the cow.[(((triple10) -> rule2) OR ((triple6) -> rule2))]