The bear chases the lion. The bear sees the cow. The bear sees the lion. The cow chases the lion. The cow is cold. The cow is round. The cow sees the lion. The lion chases the bear. The lion is cold. The lion is green. The lion is nice. The lion sees the bear. The lion sees the cow. The lion visits the bear. The lion visits the cow. If someone sees the lion and they chase the lion then the lion visits the bear. If someone is round and they chase the bear then they see the bear.
The bear does not see the bear.
@0: The bear chases the lion.[(triple1)] The bear sees the cow.[(triple2)] The bear sees the lion.[(triple3)] The cow chases the lion.[(triple4)] The cow is cold.[(triple5)] The cow is round.[(triple6)] The cow sees the lion.[(triple7)] The lion chases the bear.[(triple8)] The lion is cold.[(triple9)] The lion is green.[(triple10)] The lion is nice.[(triple11)] The lion sees the bear.[(triple12)] The lion sees the cow.[(triple13)] The lion visits the bear.[(triple14 OR ((triple3 triple1) -> rule1) OR ((triple7 triple4) -> rule1))] The lion visits the cow.[(triple15)]