The bear chases the cow. The bear is big. The bear sees the lion. The cow chases the bear. The cow is green. The cow is red. The lion chases the bear. The lion chases the cow. The lion is red. The lion visits the bear. If someone chases the cow then they visit the lion. If someone chases the cow then the cow sees the lion. If someone chases the lion and the lion chases the cow then the cow sees the lion.
The cow is red.
@0: The bear chases the cow.[(triple1)] The bear is big.[(triple2)] The bear sees the lion.[(triple3)] The cow chases the bear.[(triple4)] The cow is green.[(triple5)] The cow is red.[(triple6)] The lion chases the bear.[(triple7)] The lion chases the cow.[(triple8)] The lion is red.[(triple9)] The lion visits the bear.[(triple10)] @1: The bear visits the lion.[(((triple1) -> rule1))] The cow sees the lion.[(((triple1) -> rule2) OR ((triple8) -> rule2))] The lion visits the lion.[(((triple8) -> rule1))]