The bear chases the lion. The bear is big. The bear is green. The bear is young. The bear likes the lion. The bear sees the lion. The lion chases the bear. The lion is cold. The lion is green. The lion is young. The lion likes the bear. The lion sees the bear. If someone is green and they chase the lion then they chase the bear. If someone chases the lion then the lion sees the bear.
The bear is green.
@0: The bear chases the lion.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is young.[(triple4)] The bear likes the lion.[(triple5)] The bear sees the lion.[(triple6)] The lion chases the bear.[(triple7)] The lion is cold.[(triple8)] The lion is green.[(triple9)] The lion is young.[(triple10)] The lion likes the bear.[(triple11)] The lion sees the bear.[(triple12 OR ((triple1) -> rule2))] @1: The bear chases the bear.[(((triple3 triple1) -> rule1))]