The bear eats the cow. The bear eats the lion. The bear is blue. The bear is kind. The bear visits the cow. The bear visits the lion. The cow eats the bear. The cow eats the lion. The cow is cold. The cow is red. The cow likes the bear. The cow likes the lion. The cow visits the bear. The cow visits the lion. The lion likes the bear. The lion visits the cow. If someone visits the bear then the bear is red.
The lion visits the bear.
@0: The bear eats the cow.[(triple1)] The bear eats the lion.[(triple2)] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear visits the cow.[(triple5)] The bear visits the lion.[(triple6)] The cow eats the bear.[(triple7)] The cow eats the lion.[(triple8)] The cow is cold.[(triple9)] The cow is red.[(triple10)] The cow likes the bear.[(triple11)] The cow likes the lion.[(triple12)] The cow visits the bear.[(triple13)] The cow visits the lion.[(triple14)] The lion likes the bear.[(triple15)] The lion visits the cow.[(triple16)] @1: The bear is red.[(((triple13) -> rule1))]