The bear eats the lion. The bear is blue. The bear is nice. The bear needs the tiger. The bear sees the lion. The lion is blue. The lion is cold. The lion is green. The lion sees the bear. The tiger eats the bear. The tiger is cold. The tiger needs the lion. If someone eats the bear then the bear is green. If someone sees the tiger and they are nice then they eat the bear. If someone is blue and cold then they need the tiger. If someone is cold then they see the bear. If someone is nice then they eat the lion. If someone is red and they see the tiger then they need the tiger.
The bear sees the lion.
@0: The bear eats the lion.[(triple1 OR ((triple3) -> rule5))] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear needs the tiger.[(triple4)] The bear sees the lion.[(triple5)] The lion is blue.[(triple6)] The lion is cold.[(triple7)] The lion is green.[(triple8)] The lion sees the bear.[(triple9 OR ((triple7) -> rule4))] The tiger eats the bear.[(triple10)] The tiger is cold.[(triple11)] The tiger needs the lion.[(triple12)] @1: The bear is green.[(((triple10) -> rule1))] The lion needs the tiger.[(((triple6 triple7) -> rule3))] The tiger sees the bear.[(((triple11) -> rule4))]