The bear chases the lion. The bear is nice. The bear sees the lion. The bear visits the lion. The lion is young. The lion sees the bear. The lion visits the bear. If something is young and nice then it chases the bear. If something chases the lion then the lion sees the bear. If something chases the bear and it visits the lion then the lion sees the bear.
The lion does not chase the bear.
@0: The bear chases the lion.[(triple1)] The bear is nice.[(triple2)] The bear sees the lion.[(triple3)] The bear visits the lion.[(triple4)] The lion is young.[(triple5)] The lion sees the bear.[(triple6 OR ((triple1) -> rule2))] The lion visits the bear.[(triple7)]