The bear chases the cow. The bear is nice. The cow likes the lion. The cow visits the lion. The lion chases the bear. The lion is round. The lion likes the bear. The lion likes the cow. The tiger chases the lion. The tiger is cold. If someone likes the lion then the lion is nice.
The lion does not visit the bear.
@0: The bear chases the cow.[(triple1)] The bear is nice.[(triple2)] The cow likes the lion.[(triple3)] The cow visits the lion.[(triple4)] The lion chases the bear.[(triple5)] The lion is round.[(triple6)] The lion likes the bear.[(triple7)] The lion likes the cow.[(triple8)] The tiger chases the lion.[(triple9)] The tiger is cold.[(triple10)] @1: The lion is nice.[(((triple3) -> rule1))]