The bear chases the cow. The bear is big. The bear is nice. The bear is young. The bear needs the rabbit. The cow chases the lion. The cow needs the lion. The lion is big. The lion needs the rabbit. The rabbit chases the lion. If someone chases the lion and they are blue then the lion needs the bear. If the bear needs the lion and the bear sees the lion then the bear needs the rabbit. If someone sees the lion then the lion is kind. If someone chases the lion then the lion is young. If someone chases the bear and the bear sees the lion then they are kind. If someone is nice and they see the rabbit then the rabbit needs the lion.
The lion does not need the bear.
@0: The bear chases the cow.[(triple1)] The bear is big.[(triple2)] The bear is nice.[(triple3)] The bear is young.[(triple4)] The bear needs the rabbit.[(triple5)] The cow chases the lion.[(triple6)] The cow needs the lion.[(triple7)] The lion is big.[(triple8)] The lion needs the rabbit.[(triple9)] The rabbit chases the lion.[(triple10)] @1: The lion is young.[(((triple10) -> rule4) OR ((triple6) -> rule4))]