The bear eats the lion. The bear is blue. The bear is not red. The bear is round. The bear sees the lion. The bear does not visit the lion. The lion does not eat the bear. The lion is cold. The lion is not green. The lion is not red. The lion sees the bear. The lion visits the bear. If someone visits the bear then they eat the lion.
The lion does not eat the bear.
@0: The bear does not visit the lion.[(triple6)] The bear eats the lion.[(triple1)] The bear is blue.[(triple2)] The bear is not red.[(triple3)] The bear is round.[(triple4)] The bear sees the lion.[(triple5)] The lion does not eat the bear.[(triple7)] The lion is cold.[(triple8)] The lion is not green.[(triple9)] The lion is not red.[(triple10)] The lion sees the bear.[(triple11)] The lion visits the bear.[(triple12)] @1: The lion eats the lion.[(((triple12) -> rule1))]