The bear is rough. The bear likes the cow. The bear visits the rabbit. The cow is green. The cow is nice. The cow is rough. The lion is green. The lion is round. The lion likes the bear. The rabbit sees the cow. If something sees the bear and the bear likes the lion then the bear sees the cow. If something likes the cow then it likes the lion. If something is green then it visits the bear.
The bear does not visit the bear.
@0: The bear is rough.[(triple1)] The bear likes the cow.[(triple2)] The bear visits the rabbit.[(triple3)] The cow is green.[(triple4)] The cow is nice.[(triple5)] The cow is rough.[(triple6)] The lion is green.[(triple7)] The lion is round.[(triple8)] The lion likes the bear.[(triple9)] The rabbit sees the cow.[(triple10)] @1: The bear likes the lion.[(((triple2) -> rule2))] The cow visits the bear.[(((triple4) -> rule3))] The lion visits the bear.[(((triple7) -> rule3))]