The bear is nice. The bear needs the lion. The bear visits the lion. The lion chases the bear. The lion is not kind. The lion is young. The lion does not need the bear. If something is red then it is young. If something chases the bear then the bear needs the lion. If something is nice then it is red.
The lion does not need the lion.
@0: The bear is nice.[(triple1)] The bear needs the lion.[(triple2 OR ((triple4) -> rule2))] The bear visits the lion.[(triple3)] The lion chases the bear.[(triple4)] The lion does not need the bear.[(triple7)] The lion is not kind.[(triple5)] The lion is young.[(triple6)] @1: The bear is red.[(((triple1) -> rule3))] @2: The bear is young.[(((((triple1) -> rule3)) -> rule1))]