The bear eats the lion. The bear is not blue. The bear is green. The lion chases the bear. The lion chases the rabbit. The lion eats the bear. The lion eats the rabbit. The lion is blue. The lion is rough. The lion is round. The lion is young. The lion needs the bear. The lion needs the rabbit. The rabbit does not chase the lion. The rabbit is round. The rabbit does not need the lion. If someone is young and not blue then they do not eat the bear. If someone is green then they eat the lion. If someone chases the lion and the lion is round then the lion is rough. If someone needs the bear and they chase the lion then the bear eats the lion. If someone needs the lion and they are not young then they need the rabbit. If someone is rough and they chase the lion then the lion does not chase the rabbit.
The lion chases the lion.
@0: The bear eats the lion.[(triple1 OR ((triple3) -> rule2))] The bear is green.[(triple3)] The bear is not blue.[(triple2)] The lion chases the bear.[(triple4)] The lion chases the rabbit.[(triple5)] The lion eats the bear.[(triple6)] The lion eats the rabbit.[(triple7)] The lion is blue.[(triple8)] The lion is rough.[(triple9)] The lion is round.[(triple10)] The lion is young.[(triple11)] The lion needs the bear.[(triple12)] The lion needs the rabbit.[(triple13)] The rabbit does not chase the lion.[(triple14)] The rabbit does not need the lion.[(triple16)] The rabbit is round.[(triple15)]