The bear is green. The bear is red. The bear needs the lion. The lion eats the tiger. The lion is cold. The lion is red. The lion does not need the tiger. The lion visits the bear. The tiger is blue. The tiger is red. If someone needs the bear and they are not blue then they are green. If someone visits the lion then they are red. If someone visits the bear then the bear eats the lion.
The lion visits the bear.
@0: The bear is green.[(triple1)] The bear is red.[(triple2)] The bear needs the lion.[(triple3)] The lion does not need the tiger.[(triple7)] The lion eats the tiger.[(triple4)] The lion is cold.[(triple5)] The lion is red.[(triple6)] The lion visits the bear.[(triple8)] The tiger is blue.[(triple9)] The tiger is red.[(triple10)] @1: The bear eats the lion.[(((triple8) -> rule3))]