The bear eats the lion. The bear eats the rabbit. The bear needs the rabbit. The bear sees the lion. The lion eats the bear. The lion is blue. The lion is green. The lion is young. The lion needs the bear. The lion sees the bear. The rabbit eats the bear. The rabbit eats the lion. The rabbit is red. The rabbit needs the bear. The rabbit needs the lion. The rabbit sees the lion. If someone eats the rabbit and the rabbit eats the bear then the rabbit is blue. If someone sees the bear and they eat the lion then the lion is green. If someone is kind then they need the bear. All blue people are green. If someone sees the lion and the lion is kind then the lion sees the rabbit. If someone sees the bear then they are green.
The rabbit is not green.
@0: The bear eats the lion.[(triple1)] The bear eats the rabbit.[(triple2)] The bear needs the rabbit.[(triple3)] The bear sees the lion.[(triple4)] The lion eats the bear.[(triple5)] The lion is blue.[(triple6)] The lion is green.[(triple7 OR ((triple10) -> rule6) OR ((triple6) -> rule4))] The lion is young.[(triple8)] The lion needs the bear.[(triple9)] The lion sees the bear.[(triple10)] The rabbit eats the bear.[(triple11)] The rabbit eats the lion.[(triple12)] The rabbit is red.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit needs the lion.[(triple15)] The rabbit sees the lion.[(triple16)] @1: The rabbit is blue.[(((triple2 triple11) -> rule1))] @2: The rabbit is green.[(((((triple2 triple11) -> rule1)) -> rule4))]