The bear eats the cow. The bear needs the lion. The bear visits the rabbit. The cow needs the lion. The lion is green. The rabbit eats the lion. The rabbit is not cold. The rabbit is green. The rabbit needs the lion. The rabbit does not visit the lion. If something needs the cow then the cow does not eat the rabbit. If something eats the cow then the cow visits the rabbit.
The lion is kind.
@0: The bear eats the cow.[(triple1)] The bear needs the lion.[(triple2)] The bear visits the rabbit.[(triple3)] The cow needs the lion.[(triple4)] The lion is green.[(triple5)] The rabbit does not visit the lion.[(triple10)] The rabbit eats the lion.[(triple6)] The rabbit is green.[(triple8)] The rabbit is not cold.[(triple7)] The rabbit needs the lion.[(triple9)] @1: The cow visits the rabbit.[(((triple1) -> rule2))]